Zeiger in C und C++ Zeiger in Java und C/C++

Transkript

1 1 Zeiger in Java und C/C++ Zeigervariable (kurz: Zeiger, engl.: pointer): eine Variable, die als Wert eine Speicheradresse enthält Java: Zeiger werden implizit für Referenztypen (Klassen und Arrays) verwendet, es gibt keine besondere Syntax für Zeigeroperationen C/C++: Zeiger sind eine eigene Gruppe von Datentypen und werden explizit durch den Programmierer als Zeiger deklariert 2

2 Motivation Warum benötigt man überhaupt Zeiger? Hauptgrund: dynamische Speicherverwaltung Adressen von Variablen werden vom Compiler festgelegt, d.h. der benötigte Speicherplatz muß zur Compilierzeit bekannt sein Problem: die genauen Daten, die das Programm verarbeiten soll, sind zur Compilierzeit i.a. nicht bekannt, der Compiler kann nicht wissen, wieviel Speicherplatz benötigt wird Lösung: Speicherplatz kann vom Programm zur Laufzeit angefordert (allokiert) werden, Zugriff auf diesen Speicherplatz erfordert Zeiger 3 Zeigerdeklaration Zeiger sind in C/C++ typisiert, d.h. eine Zeigervariable enthält Informationen darüber, auf welchen Typ sie zeigt. Zeigertypen werden bei der Deklaration durch das Zeichen "*" hinter dem Typ gekennzeichnet. Beispiel: Deklaration einer Variable vom Typ int (kein Zeiger): int i; Deklaration eines Zeigers auf einen Wert vom Typ int: int* j; oft auch: int *j; 4

3 Adressermittlung Wie kann die Adresse, die ein Zeiger speichern soll, ermittelt werden? erste Möglichkeit: Instantiierung eines neuen Objektes Operator new erzeugt neues Objekt und liefert Zeiger auf dieses Objekt Syntax: Zeigervariable = new Typ; Beispiele: int *i=new int; //i zeigt auf Wert vom //Typ int int *a=new int[100]; //a zeigt auf int-array mit //100 Elementen 5 Adressermittlung Zweite Möglichkeit: Zeiger auf Adresse einer bereits existierenden Variablen der unäre Operator & liefert die Adresse der hinter ihm stehenden Variablen (nicht zu verwechseln mit dem binären Operator &, der das bitweise logische Und bildet) Beispiel: int i; int *j=&i; j enthält die Adresse von i 6

4 Speicherfreigabe Die Operatoren delete und delete[] giben den Speicher, den ein mit new erzeugtes Objekt belegt, frei. Beispiel: delete j; delete[] a; //für einzelne Objekte //für Arrays 7 Dereferenzierung von Zeigern Dereferenzierung: Zugriff auf den Wert, der an der in der Zeigervariablen gespeicherten Adresse steht ("der Wert, auf den der Zeiger zeigt") Zur Dereferenzierung eines Zeigers dient der unäre Operator * (nicht zu verwechseln mit dem binären Multiplikationsoperator *). Beispiel: int *i=new int; int j; *i=3; j=*i;//j hat nach dieser Zeile den Wert 3 8

5 Pointer Aliasing Pointer Aliasing: Zwei Zeiger enthalten dieselbe Adresse oder ein Zeiger enthält die Adresse einer anderen sichtbaren Variablen. Der eine Zeiger ist dann ein Alias des anderen Zeigers bzw. der Variablen. Unnötiges Pointer Aliasing sollte vermieden werden, da es dem Compiler die Codeoptimierung erschwert. Beispiel: int i=1; int *j=&i; *j=3;//i wird über Alias j geändert 9 Arrays Array in C und C++: Zusammenhängender Speicherbereich einer festen (zur Compilierzeit bekannten) Größe Die Arrayvariable wird wie ein Zeiger auf den Anfang dieses Speicherbereichs behandelt. Deklaration eines Arrays: Typ Name[Anzahl der Elemente] Beispiel: Array mit 100 Elementen vom Typ int: int i[100]; Zugriff auf Arrayelemente: wie in Java i[12]++; //Element mit Index 12 erhöhen Es gibt kein Feld length bei Arrays in C/C++. 10

6 Arrays Vorsicht beim Zugriff auf Arrayelemente: Es findet keine Bereichsüberprüfung statt. Ändern eines Arrayelements mit einem Index außerhalb der Arraygröße führt zum Überschreiben von fremdem Speicher (kann eigenes Programm oder unter manchen Betriebssystemen auch andere Programme ungewollt verändern). Beispiel: (das ist gültiger C-Code!) int data[10]; int index=-10000; data[index]=0; //BOOM! 11 Häufiger Fehler in C/C++-Programmen: die fehlende Bereichsüberprüfung wird nicht berücksichtigt, wenn externe Daten eingelesen werden, der Lesepuffer kann überlaufen (Buffer Overflow) besonders konstruierte Eingabedaten können das Programm gezielt verändern besonders gefährdet sind Programme, die Eingaben aus dem Internet verarbeiten (z.b. HTTP-Server) Angreifer können den Fehler ausnutzen, um beliebigen Programmcode auf dem Zielrechner auszuführen (sog. Internet-Würmer führen solche Attacken automatisiert durch (Bsp: Code Red)) 12

7 Beispiel für ein Programm mit einem Buffer Overflow- Fehler (kopiert zeilenweise Eingabe nach Ausgabe): #include <stdio.h> void main() { char buf[1000]; //no line is longer while(gets(buf)!=null) //read line { puts(buf); //write line } } 13 Wie kann ein Angreifer beliebigen Programmcode ausführen? Stack nach dem Aufrufen der main-funktion: buf[0] buf[1] buf[999] Rücksprungadresse niedrige Adressen (Der Stack wächst auf x86- Systemen in Richtung niedrige Adressen.) hohe Adressen 14

8 Der Angreifer erzeugt eine Textzeile, die länger als 1000 Zeichen ist. Dadurch wird die Rücksprungadresse überschrieben und das Programm stürzt beim Verlassen der main- Funktion ab (im günstigsten Fall). Die Kunst des Angreifers besteht darin, die Rücksprungadresse so zu überschreiben, das der neue Wert in den Puffer zeigt. Dort kann beliebiger Programmcode stehen (der vorher als Textzeile eingelesen wurde). Deshalb: Niemals irgendwelche Annahmen über fremde Eingabedaten machen, ohne sie nachzuprüfen! 15 Beispiel für einen speziell konstruierten HTTP-Request-String (aus dem Logfile eines Webservers, erzeugt vom Wurm Code Red II, infizierte weltweit ca MS Internet Information Server innerhalb weniger Stunden): GET /default.ida?xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX%u9090% u6858%ucbd3%u7801%u9090%u6858%ucbd3%u7801%u9090% u6858%ucbd3%u7801%u9090%u9090%u8190%u00c3%u0003% u8b00%u531b%u53ff%u0078%u0000%u00=a nur zum Füllen des Puffers eingeschleuster Code 16

9 Zeigerarithmetik In Java: Referenzen (Zeiger) sind fest und können nur durch Zuweisen einer anderen Referenz verändert werden. In C/C++: Zu Zeigern können Werte addiert und subtrahiert werden (Zeigerarithmetik), dadurch ist z.b. das schrittweise Schieben eines Zeigers über ein Array möglich. Addieren eines Wertes zu einem Zeiger erhöht den Zeiger um diesen Wert multipliziert mit der Größe des Typs, auf den der Zeiger zeigt. (Subtraktion funktioniert analog) Mit Zeigern vom Typ void* ist keine Zeigerarithmetik möglich (void hat keine Größe). 17 Zeigerarithmetik Beispiel: Füllen eines Arrays mit 0 Ohne Zeigerarithmetik: #define size 100; int data[size]; int i; for(i=0;i!=size;i++) data[i]=0; Mit Zeigerarithmetik: #define size 100; int data[size]; int *i; for(i=data;i!=(data+size);i++) *i=0; 18