quarkslab / tritondse
Triton-based DSE library with loading and exploration capabilities (and more!)
☆107Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for tritondse
- Core emulator components for Icicle☆126Updated 3 weeks ago
- ☆74Updated last month
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆73Updated last week
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆74Updated 2 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆184Updated this week
- A binary analysis framework written in Rust.☆162Updated 3 weeks ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆98Updated last week
- Hardening code obfuscation against automated attacks☆129Updated 9 months ago
- A /proc/mem IDA loader to snapshot a running process☆160Updated 2 years ago
- Run IDA scripts headlessly.☆118Updated 3 weeks ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- ☆69Updated 10 months ago
- Practical P-Code examples☆43Updated 3 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆141Updated last year
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- symbolic execution plugin for binary ninja☆249Updated 8 months ago
- PoC of fuzzing closed-source userspace binaries with KVM☆164Updated 6 months ago
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆148Updated 9 months ago
- Ghidra Emulates Functions☆53Updated 4 years ago
- A collection of my weggli patterns to facilitate vulnerability research.☆93Updated 10 months ago
- Binary exploitation by confusing the unwinder☆59Updated last year
- ☆82Updated 10 months ago
- AFL bindings for Unicorn-Engine☆68Updated 2 weeks ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆33Updated 10 months ago
- Build your emulation environment as needed☆64Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy☆52Updated this week
- ☆139Updated 2 weeks ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆38Updated last year