Dna

Dna ist ein statisches Binary-Analyse-Framework, das auf LLVM aufbaut. Es ist bemerkenswerterweise fast ausschließlich in C# geschrieben, einschließlich verwalteter Bindungen für LLVM, Remill und Souper.

Funktionalität

Dna implementiert eine iterative Kontrollflussgraphen-Rekonstruktion, die stark von der SATURN-Veröffentlichung inspiriert ist. Es wendet iterativ rekursiven Abstieg, Lifting (unter Verwendung von Remill) und Pfad-Lösung an, bis der vollständige Kontrollflussgraph wiederhergestellt ist. Im Fall von Sprungtabellen verwenden wir einen rekursiven Algorithmus basierend auf Souper und z3, um die Menge der möglichen Sprungtabellenziele zu lösen. Sie finden den iterativen Explorationsalgorithmus hier und den Sprungtabellen-Lösungsalgorithmus hier.

Sobald ein Kontrollflussgraph vollständig erkundet wurde, kann er dann mit den Algorithmen von hier und hier zurück nach x86 kompiliert und in die Binärdatei eingefügt werden. Auch wenn der kompilierte Code keineswegs schön ist, sollte er laufen, solange der wiederhergestellte Kontrollflussgraph korrekt ist. Dennoch handelt es sich immer noch um einen Forschungsprototypen – Fehler und Randfälle sind zu erwarten. Die Exploration des Kontrollflussgraphen kann beispielsweise bei unbegrenzten Sprungtabellen oder nicht lifbaren Instruktionen fehlschlagen.

Dna

Beliebteste

Abhängigkeiten

VMProtect

Bauen

Voraussetzungen

1. Native Abhängigkeiten erstellen

2. Rust-Simplifier-DLL erstellen

3. Die Projektmappe erstellen