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
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- ☆81Updated 2 years ago
- Target components for kAFL/Nyx Fuzzer☆33Updated last year
- Ghidra Emulates Functions☆54Updated 4 years ago
- A /proc/mem IDA loader to snapshot a running process☆162Updated 2 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- IDA plugin displaying the P-Code for the current function☆65Updated last year
- ☆72Updated 3 years ago
- Raw IDA Kernel API for IDAPython☆33Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆29Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆117Updated this week
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- kAFL Fuzzer☆33Updated last month
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated last year
- nanoMIPS IDA plugin☆67Updated 3 years ago
- Xyntia, the black-box deobfuscator☆67Updated last week
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆83Updated 5 years ago
- Go fastcall analysis for ida decompiler☆32Updated 2 months ago
- Hex-Rays Block Highlighter plugin for IDA to highlight if/for/do/switch/while blocks☆61Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Python bindings for BochsCPU☆35Updated 2 months ago
- Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)☆36Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- binary ninja related code☆35Updated last month
- ☆64Updated 5 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆104Updated last week
- CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU☆47Updated last year
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year