JonathanSalwan Follow

Jonathan Salwan JonathanSalwan

Security researcher working on program analysis and software verification methods

Block or report user

Contact Support about this user’s behavior.

Learn more about reporting abuse

Organizations

Security researcher working on program analysis and software verification methods

Block or report user

Contact Support about this user’s behavior.

Learn more about reporting abuse

ROPgadget

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 architectu…

Python 2.3k 466
Triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, …

C++ 1.6k 345
Tigress_protection

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

LLVM 503 110
PinTools

Pintool example and PoC for dynamic binary analysis

C++ 441 141
binary-samples

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

Makefile 150 47
abf

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

Python 104 32

Contributed to JonathanSalwan/Triton, JonathanSalwan/X-Tunnel-Opaque-Predicates, JonathanSalwan/ROPgadget and 1 other repository

JonathanSalwan has no activity yet for this period.

I don't like the current taint analysis, I will probably rewrite the taint engine. If you have some recommendation / discussion, feel free to comme…

7 comments