Barf Project

El análisis de código binario es una actividad crucial en muchas áreas de las ciencias de la computación y disciplinas de ingeniería de software, que van desde la seguridad del software y el análisis de programas hasta la ingeniería inversa. El análisis binario manual es una tarea difícil y que consume mucho tiempo, y existen herramientas de software que buscan automatizar o asistir a los analistas humanos. Sin embargo, la mayoría de estas herramientas tienen varias restricciones técnicas y comerciales que limitan el acceso y uso por parte de una gran parte de las comunidades académicas y profesionales. BARF es un marco de análisis binario de código abierto que tiene como objetivo apoyar una amplia gama de tareas de análisis de código binario que son comunes en la disciplina de seguridad de la información. Es una plataforma scriptable que soporta el levantamiento de instrucciones de múltiples arquitecturas, la traducción binaria a una representación intermedia, un marco extensible para plugins de análisis de código y la interoperabilidad con herramientas externas como depuradores, solucionadores SMT y herramientas de instrumentación. El marco está diseñado principalmente para análisis asistidos por humanos, pero puede ser completamente automatizado.