Zahn - Unix-Netzwerkprogramminerung mit Threads, Sockets und SSL

52 2 Programmieren mit Unix-Prozessen
StackSegment
Neuer Code
Zeiger
Zeiger
4 Füllzeichen
8 Füllzeichen
Exploit
Rücksprungadresse
StackBasiszeiger
int ok;
char buffer[8];
HeapSegment (dynamische Bereiche)
BSS/DataSegment (globale Variablen)
TextSegment (Programmcode)
Abb. 2.8. Einbringen eigenen Codes in Beispiel 2.11
verprogramms – und das sind sehr oft Administratorrechte! – der interaktive
Zugriff auf das betroffene Rechnersystem möglich wird.
Bei den bislang beschriebenen Buffer-Overflows handelt es sich durchwegs
um die klassischen, Stack-basierte Buffer-Overflows, bei denen die Puffer,
deren Grenzen (un)absichtlich überschritten werden, durchwegs im Stack-
Segment des laufenden Programms untergebracht sind. Ist der Buffer-Overflow
im Heap-Segment angesiedelt, dies ist z. B. bei allen mittels malloc() und
Co. angeforderten Speicherbereichen der Fall, spricht man stattdessen von
einem Heap-basierten Buffer-Overflow. Die überschreibbaren Puffer der BSSbasierten
Buffer-Overflows liegen analog dazu im BSS-Segment (dies betrifft
die globalen und die statisch vereinbarten lokalen Variablen). Die hier nicht
weiter besprochenen Angriffsmethoden gegen diese Overflow-Varianten sind
dabei eng mit den Stack-basierten Angriffen verwandt.
Die überwiegende Zahl von Buffer-Overflows kann direkt zu einer fahrlässigen
Verwendung einer unsicheren Routine der C-Bibliothek zurückgeführt werden.
In den meisten Fällen handelt es sich dabei um String-Operationen wie
strcpy(), strcat(), sprintf(), odergets(). Insofern sind pauschale Regeln
wie vermeide strcpy()“ oder benutze niemals gets()“ ganz sicher
” ”
nicht die schlechtesten Ratgeber. Die gets()-Funktion ist praktisch das Paradebeispiel
für die für Buffer-Overflows anfälligen Funktionen: Die Funktion
liest eine Textzeile von der Standard-Eingabe und beachtet dabei keinerlei
Puffergrenzen. Der Lesevorgang endet erst dann, wenn in der Eingabe ein
Zeilentrenner oder das Dateiende erreicht ist. Die passende Alternative zu
gets() liefert die Funktion fgets(), mit der sich die gleichen Aufgaben lösen