Awesome GitHub RepositoriesBinary Analysis Frameworks

Zydis est une bibliothèque d'analyse binaire x86 et x86-64 qui fournit un framework pour décoder le code machine et inspecter les attributs techniques des instructions processeur. Elle fonctionne comme un désassembleur d'instructions qui traduit les données binaires en métadonnées d'instructions structurées et en assembleur lisible par l'homme. Le projet inclut un encodeur de code machine pour convertir les instructions assembleur et leurs opérandes en leurs représentations binaires. Il fournit également un formateur de syntaxe assembleur pour transformer les structures d'instructions décodées en chaînes de texte assembleur en utilisant des styles de syntaxe configurables. La bibliothèque couvre des capacités d'analyse binaire plus larges, incluant le décodage de code machine, le formatage d'instructions assembleur et l'extraction de métadonnées d'instructions détaillées.

Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a multi-architecture CPU emulator, an SMT-based symbolic execution engine, and a dynamic taint analysis tool. The framework translates raw machine instructions into abstract syntax trees, allowing it to represent binary program logic as a structured intermediate representation. This allows the system to map multiple hardware instruction sets to a single analysis framework and translate machine instructions into mathematical formulas for solving constraints. Its capabilities cover the simul