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.
☆59Updated 7 years ago
Alternatives and similar repositories for PaperMachete
Users that are interested in PaperMachete are comparing it to the libraries listed below
Sorting:
- ☆50Updated 5 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 6 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆248Updated 6 years ago
- A pip wrapper around AFL.☆87Updated 4 years ago
- Automatic Vulnerability Discovery☆38Updated 6 years ago
- ☆64Updated 6 years ago
- A user-friendly fuzzing and crash triage tool for Windows☆132Updated 6 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆214Updated 4 years ago
- Patches to afl to fix bugs or add enhancements☆81Updated 6 years ago
- A DBI tool to discover heap memory related bugs☆126Updated 7 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 6 years ago
- IDA plugin for software complexity metrics assessment☆60Updated 8 years ago
- Symbolic Execution Tool in r2☆106Updated 4 years ago
- run AFL with pintool☆66Updated 5 years ago
- Abstract library to generate angr states from a debugger state☆61Updated 5 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆60Updated 5 years ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆136Updated 2 years ago
- SymGDB - symbolic execution plugin for gdb☆218Updated 7 years ago
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆50Updated 7 years ago
- Materials from Fuzzing Bay Area meetups☆68Updated 6 years ago
- ☆125Updated 4 years ago
- SAFE embeddings to match functions in yara☆100Updated 5 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Updated 7 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆305Updated 3 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆114Updated 7 years ago
- Some helper scripts to set up an environment for angr development.☆123Updated this week
- HeapHopper is a bounded model checking framework for Heap-implementations☆223Updated 6 months ago
- The new phuzzing framework!☆164Updated last year
- Repo for various angr ipython features to give it more of a cli feeling☆57Updated last year
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆104Updated 4 years ago