googleprojectzero / reil
☆59Updated 5 years ago
Alternatives and similar repositories for reil
Users that are interested in reil are comparing it to the libraries listed below
Sorting:
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ARMv7 architecture plugin☆40Updated last year
- Recover control flow graph from obfuscated codes☆38Updated 9 years ago
- Adds symbols to a ELF file.☆61Updated 9 years ago
- Automated Return-Oriented Programming Chaining☆85Updated 8 years ago
- integration with IDA☆92Updated 3 years ago
- Collection of various llvm passes☆122Updated 9 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 6 years ago
- ELF/PE/Mach-O parsing library☆50Updated last year
- Aarch64 architecture plugin☆85Updated last year
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆125Updated last year
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆80Updated 6 years ago
- De Mysteriis Dom jemalloc☆65Updated 7 years ago
- A mutation based user mode (ring3) dumb in-memory Windows Kernel (IOCTL) Fuzzer/Logger. This script attach it self to any given process a…☆67Updated 11 years ago
- An XNU kernel fuzz tool☆22Updated 15 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆207Updated 3 years ago
- x86/x64 architecture plugin☆39Updated last year
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated 6 months ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆107Updated 6 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆93Updated last year
- Diablo is a retargetable link-time binary rewriting framework☆77Updated 4 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 6 years ago
- DynamoRIO coverage visualization for cutter☆61Updated 2 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Updated 9 years ago
- Rewriting functions in compiled binaries using McSema☆89Updated 5 years ago
- ☆27Updated 6 years ago