B2R2

B2R2 B2R2 is a fully managed binary analysis framework written in F. It provides a rich set of algorithms, functions, and tools for reverse engineering, program analysis, and binary-level inspection. The name B2R2 takes inspiration from R2-D2, the iconic robot from Star Wars. Originally named B2-...

remill

Remill Remill is a static binary translator that translates machine code instructions into LLVM bitcode. It translates AArch64 64-bit ARMv8, SPARC32 SPARCv8, SPARC64 SPARCv9, x86 and amd64 machine code including AVX and AVX512 into LLVM bitcode. AArch32 32-bit ARMv8 / ARMv7 support is underway...

barf-project

BARF : バイナリ解析とリバースエンジニアリングフレームワーク バイナリコードの解析は、ソフトウェアセキュリティ、プログラム解析、リバースエンジニアリングなど、コンピュータ科学およびソフトウェア工学の多くの分野において重要な活動です。手動でのバイナリ解析は困難で時間のかかる作業であり、それを自動化または支援するソフトウェアツールが存在します。しかし、これらのツールの多くには技術的・商業的な制約があり、学界や実務家コミュニティの大部分がアクセスして使用することが制限されています。 BARF...