JonathanSalwan / ttexplore
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
- Target components for kAFL/Nyx Fuzzer☆33Updated last year
- ☆80Updated 2 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Various scripts for the Hexrays decompiler☆94Updated last year
- Xyntia, the black-box deobfuscator☆65Updated 2 years ago
- IDA plugin displaying the P-Code for the current function☆65Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- ☆72Updated 3 years ago
- ☆74Updated 2 years ago
- Build your emulation environment as needed☆64Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆27Updated 5 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆112Updated last month
- Ghidra Emulates Functions☆54Updated 4 years ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆72Updated this week
- Hex-Rays Block Highlighter plugin for IDA to highlight if/for/do/switch/while blocks☆60Updated 2 years ago
- Small programs and scripts that do not require their own repositories☆132Updated 2 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated 11 months ago
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆75Updated this week
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- Collects extended function properties from IDA Pro databases☆92Updated 4 years ago
- Emulation Wrapper Solution is a IDA Pro plugin that brings emulator capacities to provide features such as debugging an mocking.☆19Updated last year
- MBA-Blast is a tool for simplification of MBA expressions.☆62Updated 3 years ago
- Making Type Info Library (TIL) file for Apache modules☆54Updated 3 years ago
- nanoMIPS IDA plugin☆66Updated 3 years ago
- ☆47Updated 2 years ago
- kAFL Fuzzer☆33Updated 5 months ago
- ☆76Updated 3 years ago