sandsifter

s a n d s i f t e r

: der x86-Prozessor-Fuzzer

Übersicht

Der Sandsifter prüft x86-Prozessoren auf versteckte Instruktionen und Hardware-Fehler, indem er systematisch Maschinencode generiert, um den Befehlssatz eines Prozessors zu durchsuchen und die Ausführung auf Anomalien zu überwachen. Sandsifter hat geheime Prozessorinstruktionen von allen großen Herstellern aufgedeckt; allgegenwärtige Softwarefehler in Disassemblern, Assemblierern und Emulatoren; Schwachstellen in Unternehmens-Hypervisoren; sowie sowohl harmlose als auch sicherheitskritische Hardwarefehler in x86-Chips.

Angesichts der Vielzahl existierender x86-Prozessoren ist es das Ziel des Tools, Benutzern zu ermöglichen, ihre eigenen Systeme auf versteckte Instruktionen und Fehler zu überprüfen.

Um eine grundlegende Prüfung Ihres Prozessors durchzuführen:

sudo ./sifter.py --unk --dis --len --sync --tick -- -P1 -t

Der Computer wird systematisch nach anomalen Instruktionen durchsucht. In der oberen Hälfte sehen Sie die Instruktionen, die der Sandsifter gerade auf dem Prozessor testet. In der unteren Hälfte meldet der Sandsifter gefundene Anomalien.

Die Suche dauert zwischen einigen Stunden und einigen Tagen, abhängig von der Geschwindigkeit und Komplexität Ihres Prozessors. Wenn sie abgeschlossen ist, fassen Sie die Ergebnisse zusammen:

./summarize.py data/log

Typischerweise werden mehrere Millionen undokumentierte Instruktionen auf Ihrem Prozessor gefunden, die jedoch im Allgemeinen in eine kleine Anzahl verschiedener Gruppen fallen. Nach dem Binning der Anomalien versucht das Zusammenfassungstool, jede Instruktion einer Problemkategorie zuzuordnen:

• Softwarefehler (z. B. ein Fehler in Ihrem Hypervisor oder Disassembler),
• Hardwarefehler (ein Fehler in Ihrer CPU), oder
• Undokumentierte Instruktion (eine Instruktion, die im Prozessor existiert, aber vom Hersteller nicht anerkannt wird)

Drücken Sie 'Q', um zu beenden und eine textbasierte Zusammenfassung des Systemscans zu erhalten:

Die Ergebnisse eines Scans können für die Tools manchmal schwer automatisch zu klassifizieren sein und können eine manuelle Analyse erfordern. Wenn Sie Hilfe bei der Analyse Ihrer Ergebnisse benötigen, senden Sie die Datei ./data/log bitte an [email protected]. In dieser Logdatei sind keine persönlichen Informationen enthalten, außer der Hersteller, das Modell und die Revision des Prozessors (aus /proc/cpuinfo).

Ergebnisse

Das Scannen mit dem Sandsifter hat undokumentierte Prozessorfunktionen in Dutzenden von Opcode-Kategorien, Schwachstellen in Unternehmens-Hypervisoren, Fehler in nahezu jedem großen Disassemblierungs- und Emulationswerkzeug sowie kritische Hardwarefehler aufgedeckt, die Sicherheitslücken im Prozessor selbst öffnen.

Details zu den Ergebnissen finden Sie im Whitepaper des Projekts.

(TODO: detailed results enumeration here)

Erstellen

Sandsifter erfordert zuerst die Installation des Capstone-Disassemblers: http://www.capstone-engine.org/. Capstone kann in der Regel wie folgt installiert werden:

sudo apt-get install libcapstone3 libcapstone-dev
sudo pip install capstone

Sandsifter kann mit folgendem Befehl erstellt werden:

make

und wird dann ausgeführt mit

sudo ./sifter.py --unk --dis --len --sync --tick -- -P1 -t

Flags

Flags werden mit --flag an den Sifter und mit -- -f an den Injektor übergeben.

Beispiel:

sudo ./sifter.py --unk --dis --len --sync --tick -- -P1 -t

Sifter-Flags:

--len
	Suche nach Längenunterschieden bei allen Instruktionen (Instruktionen, die
	anders ausgeführt wurden als vom Disassembler erwartet, oder nicht
	existierten, als der Disassembler sie erwartete

--dis
	Suche nach Längenunterschieden bei gültigen Instruktionen (Instruktionen, die
	anders ausgeführt wurden als vom Disassembler erwartet)

--unk
	Suche nach unbekannten Instruktionen (Instruktionen, die der Disassembler
	nicht kennt, aber erfolgreich ausgeführt werden)

--ill
	das Gegenteil von --unk, Suche nach ungültigen Disassemblierungen (Instruktionen, die
	nicht erfolgreich ausgeführt werden, die der Disassembler aber anerkennt)

--tick
	schreibe regelmäßig die aktuelle Instruktion auf die Festplatte

--save
	speichere den Suchfortschritt beim Beenden

--resume
	setze die Suche vom letzten gespeicherten Zustand fort

--sync
	schreibe Suchergebnisse sofort auf die Festplatte, sobald sie gefunden werden

--low-mem
	Ergebnisse nicht im Speicher ablegen

Injector-Flags:

-b
	Modus: Brute Force

-r
	Modus: randomisiertes Fuzzing

-t
	Modus: getunneltes Fuzzing

-d
	Modus: extern gesteuertes Fuzzing

-R
	Rohausgabemodus

-T
	Textausgabemodus

-x
	schreibe periodischen Fortschritt auf stderr

-0
	Nullzeiger-Dereferenzierung erlauben (erfordert sudo)

-D
	doppelte Präfixe erlauben

-N
	keine NX-Bit-Unterstützung

-s seed
	bei zufälliger Suche: Startwert

-B brute_depth
	bei Brute-Force-Suche: maximale Suchtiefe

-P max_prefix
	maximale Anzahl zu durchsuchender Präfixe

-i instruction
	Instruktion, bei der die Suche beginnen soll (inklusive)

-e instruction
	Instruktion, bei der die Suche enden soll (exklusive)

-c core
	Kern, auf dem die Suche durchgeführt werden soll

-X blacklist
	die angegebene Instruktion auf die Blacklist setzen

-j jobs
	Anzahl gleichzeitig auszuführender Jobs

-l range_bytes
	Anzahl der Basisinstruktions-Bytes in jedem Unterbereich

Tasten

m: Modus – Suchmodus ändern (Brute Force, Zufall oder Tunnel) für den Sifter

q: Beenden – den Sifter beenden

p: Pause – Suche anhalten oder fortsetzen

Algorithmen

Das Scannen unterstützt vier verschiedene Suchalgorithmen, die über die Befehlszeile festgelegt oder über Tastenkürzel durchgeschaltet werden können.

• Das zufällige Durchsuchen generiert zufällige Instruktionen zum Testen; es liefert in der Regel schnell Ergebnisse, ist aber nicht in der Lage, komplexe versteckte Instruktionen und Fehler zu finden.
• Die Brute-Force-Suche probiert Instruktionen inkrementell bis zu einer benutzerdefinierten Länge aus; in fast allen Situationen ist sie schlechter als die zufällige Suche.
• Die getriebene oder mutationsgetriebene Suche soll durch genetische Algorithmen neue, zunehmend komplexe Instruktionen erzeugen; dieser Ansatz war vielversprechend, wurde aber nie vollständig realisiert und bleibt als Stub für zukünftige Forschung bestehen.
• Tunneling ist der in der Präsentation und im Whitepaper beschriebene Ansatz und bietet in fast allen Fällen den besten Kompromiss zwischen Gründlichkeit und Geschwindigkeit.

Tipps

• sudo

  Für optimale Ergebnisse sollte das Tool als Root-Benutzer ausgeführt werden. Dies ist notwendig, damit der Prozess eine Seite an Adresse 0 in den Speicher einblenden kann, was Root-Berechtigungen erfordert. Diese Seite verhindert, dass viele Instruktionen bei Speicherzugriffen einen Segfault auslösen, was eine genauere Fehleranalyse ermöglicht.

• Präfixe

  Die Haupteinschränkung für die Tiefe einer Instruktionssuche ist die Anzahl der zu durchsuchenden Präfix-Bytes, wobei jedes zusätzliche Präfix-Byte den Suchraum um etwa den Faktor 10 vergrößert. Begrenzen Sie die Präfix-Bytes mit dem Flag -P.

• Farben

  Die Benutzeroberfläche des Sifters ist für ein 256-Farben-Terminal ausgelegt. Die Details variieren stark je nach Terminal, aber grob kann dies erreicht werden mit:

  export TERM='xterm-256color'
  

• GUI