cetfor / PaperMacheteLinks
A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
☆58Updated 6 years ago
Alternatives and similar repositories for PaperMachete
Users that are interested in PaperMachete are comparing it to the libraries listed below
Sorting:
- ☆50Updated 4 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 6 years ago
- ☆124Updated 4 years ago
- Automatic Vulnerability Discovery☆38Updated 6 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆248Updated 6 years ago
- A DBI tool to discover heap memory related bugs☆125Updated 7 years ago
- run AFL with pintool☆66Updated 5 years ago
- A pip wrapper around AFL.☆86Updated 4 years ago
- realtime cross-tool collaborative reverse engineering☆102Updated 2 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 4 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆210Updated 4 years ago
- A user-friendly fuzzing and crash triage tool for Windows☆132Updated 5 years ago
- Library to wrap all file calls when fuzzing with AFL++☆51Updated 2 years ago
- Patches to afl to fix bugs or add enhancements☆82Updated 6 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 6 years ago
- Symbolic Execution Tool in r2☆106Updated 3 years ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆133Updated 2 years ago
- Abstract library to generate angr states from a debugger state☆60Updated 5 years ago
- A distributed fuzzing management framework☆68Updated 5 years ago
- Recent Fuzzing Paper☆35Updated 2 years ago
- IDA plugin for software complexity metrics assessment☆60Updated 7 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆219Updated 3 months ago
- SymGDB - symbolic execution plugin for gdb☆217Updated 7 years ago
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆51Updated 7 years ago
- ☆63Updated 6 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆86Updated last year
- Materials from Fuzzing Bay Area meetups☆68Updated 5 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- The new phuzzing framework!☆160Updated last year
- Backwards program slice stitching for automatic CTF problem solving.☆51Updated 6 years ago