ForAllSecure / bncovLinks
Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization
☆132Updated 2 years ago
Alternatives and similar repositories for bncov
Users that are interested in bncov are comparing it to the libraries listed below
Sorting:
- Nampa - FLIRT for (binary) ninjas☆95Updated 7 months ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆208Updated 3 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆88Updated 2 years ago
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆126Updated last year
- Repo for various angr ipython features to give it more of a cli feeling☆56Updated 6 months ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆199Updated 5 years ago
- Transfer analysis data between Binary Ninja and IDA☆134Updated 9 months ago
- realtime cross-tool collaborative reverse engineering☆101Updated 2 years ago
- Automatic Vulnerability Discovery☆38Updated 6 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆94Updated last year
- About as basic of a mutator as you can get, but it does the trick in most situations☆62Updated 4 years ago
- Recent Fuzzing Paper☆35Updated 2 years ago
- ☆183Updated 2 years ago
- Abstract library to generate angr states from a debugger state☆60Updated 5 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 4 years ago
- ☆135Updated 4 years ago
- A DBI tool to discover heap memory related bugs☆125Updated 7 years ago
- Code and exercises for a workshop on z3 and angr☆228Updated 4 years ago
- A binary ninja plugin that finds format string vulnerabilities☆24Updated 4 years ago
- ☆187Updated 4 months ago
- Packages for IDA Pro (written in python but supports all)☆133Updated 4 years ago
- ☆49Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- Flex 'em lexers☆40Updated 4 years ago
- grap: define and match graph patterns within binaries☆154Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆167Updated 4 years ago
- Symbolic Simplification with PAttern Matching☆105Updated 8 years ago
- ☆124Updated 4 years ago
- Binary Ninja Debugger Plugin☆143Updated 3 years ago