JonathanSalwan / ttexploreLinks
TTexplore is a library that performs path exploration on binary code using symbolic execution
☆76Updated 2 years ago
Alternatives and similar repositories for ttexplore
Users that are interested in ttexplore are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- ☆82Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- IDA plugin displaying the P-Code for the current function☆67Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆121Updated last month
- Various scripts for the Hexrays decompiler☆94Updated last year
- Alternative API for IDA / Hex-Rays☆75Updated last year
- ☆72Updated 3 years ago
- A /proc/mem IDA loader to snapshot a running process☆163Updated 3 years ago
- Static Binary Instrumentation☆121Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- nanoMIPS IDA plugin☆67Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆34Updated last year
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- ☆76Updated 3 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆83Updated 5 years ago
- Raw IDA Kernel API for IDAPython☆34Updated 3 years ago
- A code-searching/completion tool, for IDA APIs☆83Updated 5 months ago
- Making Type Info Library (TIL) file for Apache modules☆56Updated 4 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated last year
- Ghidra Emulates Functions☆54Updated 4 years ago
- A fast execution trace symbolizer for Windows.☆131Updated last year
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆63Updated 3 years ago
- Xyntia, the black-box deobfuscator☆70Updated this week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated 3 weeks ago
- Python bindings for BochsCPU☆36Updated 3 weeks ago
- Go fastcall analysis for ida decompiler☆33Updated 3 months ago