Was ist ein „Memory Stomp“?

ich bin gerade gekommen über diesen Blogbeitrag was “stampfende Erinnerung” erwähnt:

ein C++-Programm, das leicht in der Lage ist, Speicher zu stampfen (etwas, von dem Sie wahrscheinlich noch nie gehört haben, wenn Sie in einer Welt mit verwaltetem Code geboren wurden).

Und tatsächlich habe ich noch nie davon gehört!

Also, was ist das, ein Erinnerungsstampf, eine stampfende Erinnerung? Wann tritt es auf?

Der Speicher wird “gestampft”, wenn ein Stück Code den Speicher manipuliert, ohne zu erkennen, dass ein anderer Code diesen Speicher auf eine widersprüchliche Weise verwendet. Es gibt mehrere übliche Wege, wie das Gedächtnis zertrampelt werden kann.

Man weist beispielsweise 100 Byte Speicher zu, speichert dann aber etwas nach der 100. Adresse. Diese Erinnerung könnte verwendet werden, um etwas völlig anderes zu halten. Dies ist besonders schwer zu debuggen, da das Problem auftritt, wenn versucht wird, auf das Opfer zuzugreifen, auf das getreten wurde, und der Code, der darauf getreten wurde, möglicherweise völlig unabhängig davon ist.

Ein anderer greift auf Speicher zu, nachdem er freigegeben wurde. Der Speicher kann einem anderen Objekt zugewiesen werden. Auch hier kann der Code, der das Problem anzeigt, mit dem neu zugewiesenen Objekt zusammenhängen, das dieselbe Adresse erhalten hat, und nichts mit dem Code zu tun haben, der das Problem verursacht hat.

Sehr oft handelt es sich um einen Pufferüberlauf; als Beispiel dieser Code:

char buffer[8];
buffer[8] = 'a';

wird auf dem “stampfen”, was auch immer als nächstes in der Erinnerung ist buffer. Im Allgemeinen spricht man von „Stampfen“, wenn unbeabsichtigt in den Speicher geschrieben wird.

Andere Antworten sind grundsätzlich richtig, aber ich möchte ein Beispiel geben.

int a[10], i;       
for (i = 0; i < 11 ; i++)
    a[i] = 0;

int i, a[10];     
for (i = 0; i < 11 ; i++)
    a[i] = 0;

Diese Samples können zu einer Endlosschleife führen (oder auch nicht), da es sich um ein undefiniertes Verhalten handelt.

Sehr wahrscheinlich variabel i im Speicher wird direkt nach dem Array gespeichert. Also zugreifen a[10] eigentlich zugreifen konnte i mit anderen Worten, es könnte den Schleifenzähler zurücksetzen.

Ich denke, es ist ein gutes Beispiel, das das “Stampfen” des Gedächtnisses demonstriert.