1 dépôt
Analyzing binary boundaries and call graphs to map program structure and identify object file changes.
Distinct from Programming Languages and Compilers: Shortlist candidates focus on compilers and logic programming; this is about auditing the resulting binary structure.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Compiled Program Auditing. Refine with filters or upvote what's useful.
Diaphora est un outil de diff binaire et un moteur de similarité conçu pour comparer des binaires compilés et identifier les sections de code modifiées ou correspondantes. Il fonctionne comme un plugin d'ingénierie inverse qui établit des relations entre les fonctions et détecte les unités de compilation en utilisant l'analyse d'assembleur et la théorie des graphes. Le projet se spécialise dans l'analyse de correctifs de vulnérabilité, permettant aux utilisateurs de détecter les correctifs de sécurité en comparant différentes versions d'un binaire. Il synchronise les métadonnées d'analyse, telles que les noms de symboles et les commentaires, entre les binaires et génère des correctifs en comparant le pseudo-code décompilé. Le moteur utilise des graphes de flux de contrôle et une correspondance heuristique pour calculer les ratios de similarité entre les fonctions. Ses capacités plus larges incluent la cartographie des graphes d'appels, l'identification des limites des fichiers objets et la gestion de l'état d'analyse via une base de données relationnelle pour faciliter le référencement croisé à grande échelle.
Analyzes binary boundaries and call graphs to map program structure and identify specific object file changes.