Jonathan Salwan

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

JonathanSalwan

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

JonathanSalwan

Pintool example and PoC for dynamic binary analysis

JonathanSalwan

Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

JonathanSalwan

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and...

JonathanSalwan

Abstract Binary Format Manipulation - ELF, PE and Mach-O format

JonathanSalwan

Samples of binary with different formats and architectures. A test suite for your binary analysis tools.

JonathanSalwan

Just another (unfinished) kernel from scratch...

JonathanSalwan

Some low-level stuff

JonathanSalwan

TTexplore is a library that performs path exploration on binary code using symbolic execution

JonathanSalwan