JonathanSalwan/X-Tunnel-Opaque-Predicates

Stars
51
Rank 568,949 (Top 12 %)
Language
Python
Created about 5 years ago
Updated about 5 years ago

JonathanSalwan/X-Tunnel-Opaque-Predicates

JonathanSalwan

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.

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, MIPS, RISC-V 64, and RISC-V Compressed architectures.

Triton

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

VMProtect-devirtualization

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

Tigress_protection

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.

PinTools

Pintool example and PoC for dynamic binary analysis

binary-samples

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

abf

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

stuffz

Some low-level stuff

ttexplore

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

Kaminou-Kernel

Just another (unfinished) kernel from scratch...

VMNDH-2k12

Emulator, debugger and compiler for the NDH architecture - Emulator for CTF NDH 2k12