Barf Project

L'analisi del codice binario è un'attività cruciale in molti ambiti delle scienze informatiche e delle discipline di ingegneria del software, che spaziano dalla sicurezza del software e dall'analisi dei programmi fino al reverse engineering. L'analisi binaria manuale è un compito difficile e che richiede tempo, e ci sono strumenti software che cercano di automatizzare o assistere gli analisti umani. Tuttavia, la maggior parte di questi strumenti presenta diverse restrizioni tecniche e commerciali che limitano l'accesso e l'uso da parte di una grande parte delle comunità accademiche e professionali. BARF è un framework di analisi binaria open source che mira a supportare un'ampia gamma di attività di analisi del codice binario comuni nella disciplina della sicurezza informatica. È una piattaforma scriptabile che supporta il lifting delle istruzioni da più architetture, la traduzione binaria in una rappresentazione intermedia, un framework estensibile per i plugin di analisi del codice e l'interoperabilità con strumenti esterni come debugger, risolutori SMT e strumenti di strumentazione. Il framework è progettato principalmente per analisi assistite da esseri umani, ma può essere completamente automatizzato.