Barf Project

L'analyse de code binaire est une activité cruciale dans de nombreux domaines des sciences informatiques et des disciplines d'ingénierie logicielle, allant de la sécurité logicielle et de l'analyse de programmes à l'ingénierie inverse. L'analyse binaire manuelle est une tâche difficile et chronophage, et il existe des outils logiciels qui cherchent à automatiser ou à assister les analystes humains. Cependant, la plupart de ces outils ont plusieurs restrictions techniques et commerciales qui limitent l'accès et l'utilisation par une grande partie des communautés académiques et professionnelles. BARF est un cadre d'analyse binaire open source qui vise à soutenir un large éventail de tâches d'analyse de code binaire courantes dans la discipline de la sécurité de l'information. C'est une plateforme scriptable qui prend en charge le levage d'instructions à partir de plusieurs architectures, la traduction binaire en une représentation intermédiaire, un cadre extensible pour les plugins d'analyse de code et l'interopérabilité avec des outils externes tels que les débogueurs, les solveurs SMT et les outils d'instrumentation. Le cadre est principalement conçu pour une analyse assistée par l'homme, mais il peut être entièrement automatisé.