Dna

ADN

Dna est un cadre d'analyse binaire statique construit au-dessus du LLVM. Il est notamment écrit presque entièrement en C #, y compris les liaisons gérées pour LLVM, REMILL et SOUPER.

Fonctionnalité

Dna implémente une reconstruction de graphe de flux de contrôle itérative inspiré fortement par le papier Saturne. Il applique de manière itérative la descente récursive, le levage (en utilisant le remift) et la résolution de chemin jusqu'à ce que le graphique de flux complet soit récupéré. Dans le cas des tables de saut, nous utilisons un algorithme récursif basé sur Souper et Z3 pour résoudre l'ensemble des cibles de table de saut possibles. Vous pouvez trouver l'algorithme d'exploration itératif ici et l'algorithme de résolution de table de saut ici.

Une fois qu'un graphique de flux de contrôle a été entièrement exploré, il peut ensuite être recompilé à x86 et réinséré dans le binaire à l'aide des algorithmes d'ici et d'ici. Bien que le code compilé ne soit en aucun cas joli, il doit s'exécuter tant que le graphique de flux de contrôle récupéré est correct. Cela étant dit, il s'agit toujours d'un prototype de recherche - des bogues et des cas de bord sont attendus. L'exploration du graphique de flux de contrôle peut échouer dans le cas des tables de saut illimitées par exemple ou des instructions illiables.

Quelques autres fonctionnalités notables:

• Prend en charge la plupart des tables de saut, y compris les tables de saut imbriquées ou calculées de MSVC.
• Prend en charge le code de levage avec SEH à LLVM IR. Lorsque SEH est présent, les instructions try / catch et les intrinsèques filter sont insérés dans le graphique de flux de contrôle. Bien que le récompilateur ne prenne pas (encore) à prendre en charge SEH (les entrées SEH ne sont pas fixées), les exceptions entraîneront donc des accidents.
• Comprend une API forte pour l'écriture LLVM passe nativement en C #. Nous avons des liaisons pour MemorySSA EG, LoopInfo , Dominator Trees, Pass Pipeline Management, etc.
• Visualisation du graphique pour LLVM IR et graphiques de flux de contrôle binaire à l'aide de Graphviz ou alternativement un générateur de script pour le ninja binaire.

Quelques mises en garde:

• Seul x86_64 est pris en charge
• Le code recompilé n'est pas conforme au CET

Dépendances

• Llvm / llvmsharp
• Se souvenir
• Souper
• Asmresolver
• Rivières

Notez que Dna est actuellement basé sur LLVM 17.

Bâtiment

Dna ne va pas sortir de la boîte. Des correctifs personnalisés à remémorer et à souper étaient nécessaires pour que cela se construise sur Windows. Si vous souhaitez travailler sur l'ADN, ouvrez un problème ou envoyez-moi un courriel [email protected] . À un moment donné, je peux publier des étapes de construction appropriées, mais je ne fais aucune garantie.