borzacchiello / seninja
symbolic execution plugin for binary ninja
☆321Updated last week
Alternatives and similar repositories for seninja
Users that are interested in seninja are comparing it to the libraries listed below
Sorting:
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆302Updated last week
- Core emulator components for Icicle☆214Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆117Updated this week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆193Updated last week
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆614Updated 4 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆192Updated this week
- A binary analysis framework written in Rust.☆169Updated this week
- ☆318Updated 10 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆637Updated 3 weeks ago
- Snapshot-based coverage-guided windows kernel fuzzer☆318Updated 3 years ago
- Generates `.pyi` type stubs for the entire Ghidra API☆152Updated 3 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 2 months ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆165Updated 2 years ago
- Native Pcode emulator☆288Updated 9 months ago
- Use angr in Ghidra☆582Updated 9 months ago
- 🐉 Export ghidra decompiled code to dwarf sections inside ELF binary☆194Updated last year
- A collection of resources/tools and analyses for the angr binary analysis framework.☆176Updated 2 years ago
- Quarkslab Bindiffer but not only !☆202Updated last week
- Binary code coverage visualizer plugin for Ghidra☆290Updated 10 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated last week
- SymQEMU: Compilation-based symbolic execution for binaries☆346Updated last week
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- AFL binary instrumentation☆297Updated 3 months ago
- Pyhidra is a Python library that provides direct access to the Ghidra API within a native CPython interpreter using jpype.☆207Updated 6 months ago
- Run IDA scripts headlessly.☆155Updated 3 weeks ago
- An awesome & curated list of binary rewriting papers☆236Updated 3 years ago
- ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).☆426Updated last year
- An Interactive Hex-Rays Microcode Explorer☆582Updated last year
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆398Updated last month