Jak poradzić sobie lub uniknąć przepełnienia stosu w C++

Możesz chronić przed przepełnieniem stosu za pomocą dobrych praktyk programistycznych, takich jak:

1. Bądź bardzo ostrożny z rekurencją, ostatnio widziałem tak wynikającą z źle napisanej rekurencyjnej funkcji CreateDirectory, jeśli nie jesteś pewien, czy Twój kod jest w 100% ok, dodaj zmienną, która zatrzyma wykonywanie po N wywołań rekurencyjnych. Albo nawet lepiej nie pisać funkcji rekurencyjnych.
2. nie twórz wielkich tablic na stosie, może to być tablica ukryta, jak bardzo duża tablica jako pole klasowe. Zawsze lepiej używać vector.
3. Bądź bardzo ostrożny z alloca, zwłaszcza jeśli jest on umieszczony w jakiejś definicji makro. Widziałem wiele tak wynikających z konwersji łańcuchów makr umieszczonych w pętlach for, które używały alloca do szybkich alokacji pamięci.
4. Upewnij się, że rozmiar stosu jest optymalny, jest to ważniejsze w platformach osadzonych. Jeśli wątek nie robi wiele, a następnie dać mu mały stos, w przeciwnym razie użyj większe. Wiem, że rezerwacja powinna mieć tylko jakiś adres zasięg-Nie pamięć fizyczna.

To są najbardziej tak przyczyny, które widziałem w ciągu ostatnich kilku lat.

Do automatycznego wyszukiwania więc powinieneś być w stanie znaleźć jakieś statyczne narzędzia do analizy kodu.

C++ jest potężnym językiem, a z tą mocą przychodzi możliwość strzelania sobie w stopę. Nie znam żadnego przenośnego mechanizmu do wykrywania i korygowania / przerywania, gdy występuje przepełnienie stosu. Z pewnością każde takie wykrycie byłoby specyficzne dla implementacji. Na przykład g++ dostarcza -fstack-protector do monitorowania użycia stosu.

Ogólnie najlepiej jest być proaktywnym w unikaniu dużych zmiennych opartych na stosie i ostrożnym z wywołaniami rekurencyjnymi.

[1] Re: rozszerzalne stosy. Możesz dać sobie więcej miejsca na stosie z czymś takim:

#include <iostream>

int main()
{
    int sp=0;

    // you probably want this a lot larger
    int *mystack = new int[64*1024];
    int *top = (mystack + 64*1024);

    // Save SP and set SP to our newly created
    // stack frame
    __asm__ ( 
        "mov %%esp,%%eax; mov %%ebx,%%esp":
        "=a"(sp)
        :"b"(top)
        :
        );
    std::cout << "sp=" << sp << std::endl;

    // call bad code here

    // restore old SP so we can return to OS
    __asm__(
        "mov %%eax,%%esp":
        :
        "a"(sp)
        :);

    std::cout << "Done." << std::endl;

    delete [] mystack;
    return 0;
}

Jest to składnia asemblera gcc.

#include <iostream>
using **namespace** std;
class Complex
{

 public: double *re, *im;

 Complex()
 {

    re = new double(r);

    im = new double(m);

}

Complex( )
{

    re = new double; 
    im = new double;
    *re = *t.re; 
    *im= *t.im;

}

~Complex()
{

        delete re, im;

}

};

int main() {

double x, y, z;
cin >> x >> y  >> z;
Complex n1(x,y);
cout << *n1.re << "+" << *n1.im << "i ";
Complex n2 = n1;
cout << *n2.re << "+" << *n2.im << "i ";
*n1.im = z;
cout << *n2.re << "+" << *n2.im << "i ";
cout << *n1.re << "+" << *n1.im << "i ";
return 0;
}