JonathanSalwan / ttexplore
TTexplore is a library that performs path exploration on binary code using symbolic execution
☆78Updated 2 years ago
Alternatives and similar repositories for ttexplore:
Users that are interested in ttexplore are comparing it to the libraries listed below
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Target components for kAFL/Nyx Fuzzer☆33Updated last year
- Target components for kAFL/Nyx Fuzzer☆27Updated last week
- Build your emulation environment as needed☆65Updated 3 years ago
- ☆80Updated 2 years ago
- Various scripts for the Hexrays decompiler☆95Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆114Updated 3 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- A code-searching/completion tool, for IDA APIs☆83Updated last month
- Xyntia, the black-box deobfuscator☆65Updated 3 weeks ago
- A /proc/mem IDA loader to snapshot a running process☆162Updated 2 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆72Updated this week
- ☆72Updated 3 years ago
- Alternative API for IDA / Hex-Rays☆72Updated last year
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- IDA plugin displaying the P-Code for the current function☆65Updated last year
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated last year
- Small programs and scripts that do not require their own repositories☆135Updated 3 years ago
- ☆76Updated 3 years ago
- kAFL Fuzzer☆33Updated last week
- ☆28Updated last year
- nanoMIPS IDA plugin☆68Updated 3 years ago
- Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)☆36Updated last year
- A fast execution trace symbolizer for Windows.☆130Updated 10 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆81Updated last month
- Practical P-Code examples☆54Updated 4 years ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆75Updated 5 months ago