remill

Remill Remill es un traductor binario estático que traduce instrucciones de código máquina a LLVM bitcode. Traduce código máquina AArch64 ARMv8 de 64 bits, SPARC32 SPARCv8, SPARC64 SPARCv9, x86 y amd64 incluyendo AVX y AVX512 a LLVM bitcode. El soporte para AArch32 ARMv8 de 32 bits / ARMv7 está e...

B2R2

B2R2 B2R2 es un marco de análisis binario completamente administrado escrito en F. Proporciona un amplio conjunto de algoritmos, funciones y herramientas para ingeniería inversa, análisis de programas e inspección a nivel binario. El nombre B2R2 se inspira en R2-D2, el icónico robot de Star Wars...

barf-project

BARF : Framework de Análisis Binario e Ingeniería Inversa 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 abarcan desde la seguridad del software y el análisis de programas hasta la ingeniería...