Barf Project

Die Analyse von Binärcode ist eine entscheidende Aktivität in vielen Bereichen der Informatik und Softwaretechnik, die von Software-Sicherheit und Programm-Analyse bis hin zu Reverse Engineering reichen. Manuelle binäre Analyse ist eine schwierige und zeitaufwändige Aufgabe, und es gibt Software-Tools, die versuchen, menschliche Analysten zu automatisieren oder zu unterstützen. Allerdings haben die meisten dieser Tools mehrere technische und kommerzielle Einschränkungen, die den Zugang und die Nutzung durch einen großen Teil der akademischen und praktischen Gemeinschaften einschränken. BARF ist ein Open-Source-Framework für die binäre Analyse, das darauf abzielt, eine breite Palette von Aufgaben zur Analyse von Binärcode zu unterstützen, die in der Informationssicherheit häufig vorkommen. Es ist eine skriptbare Plattform, die das Anheben von Instruktionen aus mehreren Architekturen, die binäre Übersetzung in eine Zwischenrepräsentation, ein erweiterbares Framework für Code-Analyse-Plugins und die Interoperabilität mit externen Tools wie Debuggern, SMT-Lösern und Instrumentierungstools unterstützt. Das Framework ist hauptsächlich für die menschlich unterstützte Analyse konzipiert, kann jedoch vollständig automatisiert werden.