Depășirea stivei este o eroare de programare în care încercarea de a scrie date într-un anumit bloc de memorie eșuează, deoarece nu mai există spațiu în bloc. Acest tip de eroare se întâmplă în același mod ca depășirile de buffer, depășirile de heap și depășirile de buffer de stivă. Diferența dintre aceste tipuri de erori depinde de structura datelor computerului utilizată, iar caracteristica comună este că are loc o încercare de a scrie mai multe date decât spațiul disponibil pentru a le păstra.
Simptomele unui depășire a stivei pot varia în funcție de limbajul computerului utilizat și de mașina de raportare a erorilor disponibilă. În C++, o depășire a stivei se manifestă adesea ca o eroare de segmentare și, adesea, nu există informații suplimentare pentru a determina unde sau cum a avut loc depășirea. O depășire în Java duce adesea la o prăbușire a mașinii virtuale care emite un fișier de eroare destul de detaliat. Indiferent de limba în care are loc o depășire, depășirea poate fi aproape întotdeauna corectată prin depanarea și identificarea corespunzătoare a sursei originale de depășire.
Limbajele computerizate care oferă gestionarea explicită a memoriei sunt adesea mai ușor de protejat împotriva depășirii stivei. Practica de programare larg acceptată dictează de obicei că pentru fiecare segment de memorie pe care îl alocă un program, programul ar trebui să se ștergă și el însuși. C++ permite acest mecanism, iar monitorizarea atentă în acest fel poate menține la minimum cantitatea de memorie pe care o folosește un program. Limbile care nu oferă o gestionare explicită a memoriei și, în schimb, folosesc gestionarea implicită a memoriei, sunt mai greu de protejat de erorile de depășire a stivei. Java își gestionează propria memorie în interiorul mașinii sale virtuale, astfel încât datele nu pot fi șterse în mod explicit după bunul plac pentru a face loc pentru mai multe.
O greșeală comună a programatorilor începători este să presupună că o depășire a stivei nu poate avea loc în limbaje de computer care se ocupă de propria lor gestionare a memoriei. Deși acest lucru pare plauzibil la început, nu este de fapt cazul. Limbajele cu management implicit al memoriei au adesea colectoare de gunoi care eliberează blocuri inutile de memorie, dar acești colectori de gunoi nu funcționează întotdeauna la momentul la care se așteaptă un programator. A te baza pe colectorii de gunoi este relativ periculos și nu poate proteja întotdeauna un program de o eroare de depășire.
Erorile de overflow pot fi cataclismice și pot opri un întreg program sau pot fi aproape silențioase și permit unui program să continue. Aceste al doilea tip de erori sunt adesea cele mai greu de găsit, deoarece poate apărea o eroare care a venit dintr-un depășire de multe linii de cod înainte. O depășire a stivei nu necesită adesea căutarea într-un program întreg, dar cu cât un program poate rula mai mult după o depășire, cu atât eroarea poate fi mai dificil de găsit și de remediat.