binary-translation

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

The fastest RVA23 RISC-V sandbox

RISC-V simulator for x86-64

Hiding messages in x86 programs using semantic duals

Safely execute an arbitrary x86 instruction

A binary to LLVM translator

Lightweight and performant dynamic binary translation for RISC–V code on x86–64

Standalone static version of Triton's x86/x64 translator

RISC-V Static Binary Translator

Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"

The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi

The OpenISA Dynamic Binary Translator

UNIX-like reverse engineering framework and command-line toolset

Experimental clean-room x86_64 to ARM64 translator for Apple Silicon, with an interpreter, AArch64 JIT, and Mach-O support.

Static Binary Translator RISC-V to LLVM IR

A Game Boy Color emulator with dynamic binary translation to x86

Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"

LLVM-accelerated QEMU, focused on user-mode emulation (my personal project, still under development)

Binary translator from my own Language to x86 architecture.

Binary translator from binary code for virtual processor to x86