Report or block JonathanSalwan
Contact Support about this user's behavior.Report abuse
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
Some low-level stuff
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 and MIPS architectures.
Playing with the Tigress binary protection. Automatic deobfuscation using symbolic execution and LLVM.
Samples of binary with different formats and architectures. A test suite for your binary analysis tools.
Abstract Binary Format Manipulation - ELF, PE and Mach-O format
Pintool example and PoC for dynamic binary analysis
Emulator, debugger and compiler of the NDH architecture - Emulator for CTF NDH 2k12
Just another (unfinished) kernel from scratch...