0xchase / modalityLinks
Symbolic execution in radare2 with angr
☆39Updated 4 years ago
Alternatives and similar repositories for modality
Users that are interested in modality are comparing it to the libraries listed below
Sorting:
- tool for multi-execution jump coverage introspection☆67Updated 10 months ago
- Interface GDB-GEF with Binary Ninja☆59Updated 4 years ago
- Nampa - FLIRT for (binary) ninjas☆99Updated 11 months ago
- Cross-architecture instruction counting for CTF solving☆47Updated 3 years ago
- Target-centric program analysis.☆77Updated this week
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆134Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Abstract library to generate angr states from a debugger state☆61Updated 5 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆76Updated last month
- Repo for various angr ipython features to give it more of a cli feeling☆57Updated 10 months ago
- ☆40Updated 5 years ago
- A library for patching ELFs☆59Updated 5 years ago
- A distributed fuzzing management framework☆68Updated 5 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆94Updated 2 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 4 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Updated 7 years ago
- ☆188Updated 8 months ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆64Updated 5 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 4 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- grap: define and match graph patterns within binaries☆156Updated 3 years ago
- A function tracer☆92Updated 6 years ago
- A set of helpers and examples to fuzz Win32 binaries with AFL++ QEMU☆71Updated 5 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Automatic Vulnerability Discovery☆38Updated 6 years ago
- A GUI fuzzing application set up to fuzz calc.exe right now☆37Updated 5 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Updated 4 months ago
- SAFE embeddings to match functions in yara☆100Updated 5 years ago
- DynamoRIO coverage visualization for cutter☆61Updated 3 years ago