This page is just a list fo available binary analysis frameworks. The idea come from this tweet: https://twitter.com/elvanderb/status/773442426203668481
- Language: F#
- GitHub: https://github.com/B2R2-org/B2R2
- IR: https://github.com/B2R2-org/B2R2/blob/master/src/BinIR/LowUIR.fs
- Www: https://b2r2.org/
- Paper: https://ruoyuwang.me/bar2019/pdfs/bar2019-final51.pdf
- Emulator: https://github.com/enkomio/Sojobo
- FCD - http://zneak.github.io/fcd/2016/02/16/lifting-x86-code.html
- MCSEMA - https://github.com/trailofbits/mcsema
- Dagger - http://dagger.repzret.org/
- https://www.zynamics.com/binnavi/manual/html/reil_language.htm
- https://github.com/Cr4sh/openreil
- https://bitbucket.org/mihaila/bindead/wiki/Home
- OCaml language
- https://github.com/BinaryAnalysisPlatform/bil
- Language: Python - X86 / ARM / MIPS / SH4 / MSP430
- http://miasmdoc.ajax.re/
- Language: Ruby - x86 (16 and 32bits), X86_64, MIPS, PowerPC, Sh4
- GitHub: https://github.com/jjyg/metasm
- Language: C++, Python, Rust bindings
- https://docs.binary.ninja/dev/bnil-overview.html
- Language: C/C++, Python bindings - x86, x86_64
- http://triton.quarkslab.com/
- Language: Python - arm, msp430, pic, sparc, x64, x86, z80
- GitHub: https://github.com/bdcht/amoco
- http://www.tetrane.com/en/products.html
- http://doc.tetrane.com/latest/
- Info: "Commercial product, the internal IR is only documented/accessible for some filtered customers though..."
- Language: x86-64, arm
- https://derevenets.com/
- https://github.com/yegord/snowman/blob/master/src/nc/arch/x86/X86InstructionAnalyzer.cpp
- https://github.com/yegord/snowman/blob/master/src/nc/arch/arm/ArmInstructionAnalyzer.cpp
- Language: C++/Python
- https://github.com/wisk/medusa
- Language: Java
- Language: http://ghidra.re/courses/languages/html/pcoderef.html
- Language: C++ / python planned
- http://www.hexblog.com/?p=1248
- Lanaguage: protobuf / C++
- https://github.com/GrammaTech/gtirb