Uno ist ein Tool, mit dem man nach drei der häufigsten Fehlerarten in C-Quellcode suchen kann:

• Nutzung uninitialisierter Variablen
• Dereferenzierung von NULL-Pointern
• Bereichsüberschreitung bei der Array-Adressierung

Entsprechende Beispiele und ein Download des Werkzeuges sind auf der Seite von Uno zu finden. Eine kurze Probe hier hat gezeigt, daß sich sowohl einfache Beispiele konstruieren lassen bei dem Dereferenzierungsfehler gefunden werden, als auch Beispiele, bei dem das Werkzeug die Fehler übersieht.

Hier wird der Fehler gefunden:

1
2
3
4
5
6
7
8
9

int *ptr;
 
int main() {
    if (ptr)
        *ptr = 123;
    else
        *ptr = 345;
    return 0; 
}

uno:#1: possible global use or deref before def:
[R ptr global_nullptr_deref.c 9]
in fct main global_nullptr_deref.c 4

und hier nicht:

1
2
3
4
5
6
7
8
9
10
11

int main() {
 
    int *ptr;
    ptr = NULL;
 
    if (ptr)
        *ptr = 123;
    else
        *ptr = 345;
    return 0;
}

Generell ist die quelloffene Verfügbarkeit von leistungsfähigen Werkzeugen zur Codeanalyse nicht gegeben, die Werkzeuge übersehen Fehler oder liefern zuviele Falschpositive. Professionelle Tools wie Coverity stehen wiederum nicht zur freien Verfügung. Wer sich mehr mit diesem Thema beschäftigen will, findet allerdings auf der Seite von Dawson Engler, dem Gründer von Coverity, einen guten Einstiegspunkt mit ein paar interessanten Veröffentlichungen, auch zur probalistischen Analyse von Quellcode.

Ähnliche Artikel:

1. Arithmetik ohne Begrenzungen
2. Cache Attack auf AES
3. Unmaintainable Code

Manchmal frage ich mich allerdings, ob sich alle Nutzer bewusst sind, dass fast alle Einträge und Nutzungfälle Web-öffentlich sind. Die meisten dieser Dienst besitzen Übersichtsseiten oder fortlaufende Nummern als Schlüssel (dadurch werden die URLs kurz, aber quasi unsicher), deshalb kann man einfach Einblick in die jeweils gespeicherten Texte und Daten gewinnen, auch wenn man den konkreten Schlüssel nicht kennt. Und das kann ziemlich interessant sein. Eigentlich sollte man mal einen Server einrichten, der die jeweiligen Pastebins als Datenquelle periodisch abfragt und nach gewissen Klassifikationsmerkmalen (z.B. IRC-Log, mit ganz spezifischem Format eckige Klammern mit Nick drin und dann Textzeile) sortiert und aufbereitet. gcc-logs, Quellcode usw. kann man getrost wegwerfen, aber wahrscheinlich findet sich die eine oder andere Datenperle. Strafverfolgung mit so etwas macht bestimmt auch Spaß, Adress- und Emaildaten sind bestimmt auch interessant. Eine halbe Stunde sich mal anschauen was die Nutzer so damit machen, ist schon ziemlich erhellend.

Ähnliche Artikel:

1. Neugestaltung
2. Bergwandern
3. Bericht aus Zentralasien

Um mit Linux eine als defekt vermutete Festplatte unabhängig vom genutzten Dateisystem auf Fehler zu überprüfen, kann man folgenden Befehl nutzen, bei dem allerdings alle Daten gelöscht werden:

badblocks -t random -ws -v /dev/hdX

badblocks ist Bestandteil der e2fsprogs, damit es funktioniert sollte man natürlich möglichst root sein oder Zugriffsrechte auf das entsprechende Gerät haben. Der Parameter -t legt ein Bitmuster fest, mit dem die Platte beschrieben wird und das anschließend überprüft wird. -w legt fest, daß Daten sowohl geschrieben, als auch gelesen werden und -s zeigt den aktuellen Fortschritt an. Der Parameter -v erhöht die Menge der ausgegebenen Informationen. /dev/hdX steht für ein zu überprüfendes Gerät, also die zu überprüfende Festplatte oder Partition. Im Fehlerfall gibt badblocks eine Liste der defekten Sektoren aus. Zusätzlich findet man meist im Systemlog oder mit dmesg Meldungen wie Folgende:

hdb: dma_intr: status=0x51 { DriveReady SeekComplete Error }
hdb: dma_intr: error=0x40 { UncorrectableError }, 
LBAsect=4561226, high=0, low=4561226, sector=4561208
ide: failed opcode was: unknown
end_request: I/O error, dev hdb, sector 4561208

Ist die Platte in Ordnung bleibt die Fehlerliste leer.

Eine andere Variante eine Festplatte von ihren Daten zu befreien, ist das Überschreiben mit zufälligen Daten mit dem in den fileutils enthaltenem Programm shred:

shred -v -n 20 /dev/hdX

Der Parameter -n legt hier die Anzahl der Durchläufe fest in denen die Daten mit zufälligen Werte überschrieben werden, die wirklich benötigte Anzahl hängt allerdings von der eigenen Zeit und dem Aufwand, den man betreiben will, ab. Für die einfache Abwehr von unspeziallisierten Angreifern, zum Beispiel beim Ebay-Verkauf einer Festplatte, sollten 5-10 Durchläufe genügen. Das Programm shred kann man zwar auch auf einzelne Dateien anwenden, laut Anleitung hat dies bei Journaling-Dateisystemen wie XFS, ext3, Reiser usw. allerdings nicht unbedingt die erwünschte Wirkung, da Daten und Dateien nicht unbedingt In-Place überschrieben werden.

Zur Vollständigkeit will ich noch eine dritte Methode um Dateien oder Geräte zu überschreiben angeben, die einfache Nutzung von dd:

dd if=/dev/random of=/dev/hdX bs=1M

Zum sicheren physikalischen Löschen von Festplatten und zum Vernichten von sensiblen Daten kann man am ehesten shred einsetzen, ultimatives Vernichten ist sowieso nur beim Erhitzen der Festplatte über ihre Curie-Temperatur, der Temperatur bei dem der Datenspeicher seine magnetischen Eigenschaften verliert, möglich.

Keine ähnlichen Artikel gefunden.

Ähnliche Artikel:

1. Blauzahnsicherheit gefährdet
2. Statische Codeanalyse mit Uno

Ähnliche Artikel:

1. Blauzahnsicherheit gefährdet
2. Sony Ericsson W850i mit Linux
3. Unmaintainable Code

Update (Sommer 2009):
Mittlerweile sind drei neuer Ausgaben erschienen, die Veröffentlichung wurde fortgesetzt.

Ähnliche Artikel:

1. Me too
2. Biometrie in Reisepässen
3. Das Informatikbuch

Ähnliche Artikel:

1. Neues bei trifinite.org
2. Festplatten shreddern
3. Sony Ericsson W850i mit Linux

Ähnliche Artikel:

1. Biometrie in Reisepässen
2. Blauzahnsicherheit gefährdet
3. Hommingberger Gepardenforelle

Update (Sommer 2009):
Mehr Hintergrundinformationen finden sich hier.

Ähnliche Artikel:

1. Biometrie bei der WM
2. Goodbye Phrack
3. Me too