b2r2-org/b2r2B2R2 est un cadre d'analyse binaire entièrement géré écrit en F#. Il fournit un ensemble riche d'algorithmes, de fonctions et d'outils pour la rétro-ingénierie, l'analyse de programmes et l'inspection au niveau binaire.
B2R2 est un framework d'analyse binaire entièrement géré écrit en F#. Il fournit un riche ensemble d'algorithmes, de fonctions et d'outils pour le rétro-ingénierie, l'analyse de programmes et l'inspection au niveau binaire.
Le nom B2R2 s'inspire de R2-D2, le robot emblématique de Star Wars. Initialement nommé B2-R2, le projet a ensuite adopté la forme sans tiret B2R2 car les identifiants et espaces de noms .NET n'acceptent pas les traits d'union. Le nom reflète la finalité du projet : « B » et « 2 » évoquent le calcul binaire et à deux états, tandis que « R » signifie reverse engineering. En bref, B2R2 est conçu pour le reverse engineering binaire.
B2R2 est orienté analyse : il est écrit en F#, un langage bien adapté à la construction d'analyseurs de programmes grâce à des fonctionnalités telles que le filtrage par motif, les types de données algébriques et les abstractions fonctionnelles expressives.
B2R2 est rapide : son moteur d'analyse binaire central est conçu pour l'efficacité et écrit dans un style fonctionnel en premier. Cela en fait un choix naturel pour le parallélisme pur dans des tâches d'analyse courantes telles que le levage d'instructions et la reconstruction de graphes de flot de contrôle.
B2R2 est facile à utiliser : en tant que bibliothèque entièrement gérée, il évite les configurations complexes de dépendances natives. Installez le .NET SDK et vous êtes prêt. Le support natif IntelliSense facilite également l'exploration des API.
B2R2 est indépendant du système d'exploitation : il fonctionne sur Linux, macOS et Windows, ainsi que sur toute autre plateforme prise en charge par .NET.
B2R2 est interopérable : il n'est lié à aucun langage de programmation spécifique. En principe, les API de B2R2 peuvent être utilisées depuis tout langage compatible CLI.
B2R2 prend en charge l'analyse syntaxique d'instructions, le désassemblage binaire, l'assemblage, la reconstruction de graphes de flot de contrôle et d'autres briques de base pour l'analyse binaire. Il inclut également plusieurs outils en ligne de commande comparables à readelf et objdump, tout en restant indépendant de la plateforme. B2R2 supporte actuellement quatre formats de fichiers binaires : ELF, PE, Mach-O et WebAssembly.
Le tableau ci-dessous résume les fonctionnalités actuellement prises en charge par B2R2. Certains domaines sont encore en cours de développement, et les contributions sont les bienvenues. Avant de soumettre une pull request, veuillez vous assurer de lire notre guide de contribution.
