Повреждение стека в C ++

Question

В C ++, каким образом стек может быть поврежден. Один из способов, который я предполагаю, - это перезаписать переменные стека путем доступа к массиву за его пределами. Есть ли другой способ, которым это может быть повреждено?

Answer 1

Нарушение одного правила определения может привести к повреждению стека. Следующий пример выглядит глупо, но я видел его пару раз, когда разные библиотеки были скомпилированы в разных конфигурациях.

header.h

struct MyStruct
{
   int val;
#ifdef LARGEMYSTRUCT
   char padding[16];
#endif
}

file1.cpp

#define LARGEMYSTRUCT
#include "header.h"

//Here it looks like MyStruct is 20 bytes in size    

void func(MyStruct s)
{
   memset(s.padding, 0, 16); //corrupts the stack as below file2.cpp does not have LARGEMYSTRUCT declared and declares Mystruct with 4 bytes
   return; //Will probably crash here as the return pointer has been overwritten
}

file2.cpp

#include "header.h"
//Here it looks like MyStruct is only 4 bytes in size.
extern void func(MyStruct s);

void caller()
{
   MyStruct s;
   func(s); //push four bytes on to the stack
}

Answer 2

1. Вы можете иметь случайный / неопределенный указатель, который в конечном итоге будет указывать на стек, и записывать через него.
2. Функция сборки может неправильно настроить / изменить / восстановить стек
3. Космические волны могут перевернуть биты в стеке.
4. Радиоактивные элементы в корпусе чипа могут перевернуть биты.
5. Что-то в ядре может пойти не так и случайно изменить память стека.

Но это не относится к C ++, который не имеет никакого представления о стеке.

Answer 3

Хороший способ использовать указатели для суммирования переменных:

void foo()
{
  my_struct s;
  bar(&s);
}

Если bar сохраняет копию указателя, то в будущем может произойти все что угодно.

Подведение итогов: повреждение стека происходит, когда на стек накладываются нечетные указатели.

Answer 4

Стандарт C ++ не определяет стек / кучу. Кроме того, есть несколько способов вызвать неопределенное поведение в программе - все это может повредить ваш стек (в конце концов, это UB). Короткий ответ - ваш вопрос слишком расплывчат, чтобы иметь содержательный ответ.

Answer 5

Вызов функции с неправильным соглашением о вызовах.

(хотя это технически зависит от компилятора, а не вопроса C ++, каждый компилятор C ++ должен иметь дело с этим.)

Answer 6

Создание исключения внутри деструктора - хороший кандидат. Это может испортить стек.