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.

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

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

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

UNIX-like reverse engineering framework and command-line toolset

The OpenISA Dynamic Binary Translator

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"

Static Binary Translator RISC-V to LLVM IR

A tool for investigation of region formation strategies for dynamic binary translators

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

Analyse page union by utilizing Intel Pin

An 8-bit ISA and CPU implementation in Minecraft.

Cross Platform Object TCP Library for .NET Core, allows .NET object transfer between server and client.