googleprojectzero / reil
☆59Updated 4 years ago
Related projects: ⓘ
- ☆63Updated this week
- x86/x64 architecture plugin☆38Updated 6 months ago
- KLEE Symbolic Execution Engine☆61Updated 4 years ago
- ☆62Updated this week
- An XNU kernel fuzz tool☆23Updated 14 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆72Updated 3 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- A collection of tools for injecting DSOs in processes under various operating systems☆48Updated last year
- A library to execute code in the context of other processes on iOS 11.☆80Updated 6 years ago
- ARMv7 architecture plugin☆39Updated 6 months ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 5 years ago
- radare2-lldb integration☆62Updated 5 years ago
- integration with IDA☆90Updated 3 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆85Updated last year
- Adds symbols to a ELF file.☆61Updated 9 years ago
- De Mysteriis Dom jemalloc☆65Updated 6 years ago
- ☆63Updated 5 years ago
- Recover control flow graph from obfuscated codes☆38Updated 9 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆44Updated 4 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆110Updated 6 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆203Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆85Updated 5 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆109Updated 6 months ago
- An instrumentation script based on Frida which leverages Control Flow Guard to intercept indirect calls in CFG-enabled Windows binaries.☆28Updated 9 years ago
- A binary to LLVM translator☆141Updated 6 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆47Updated 8 years ago
- Aarch64 architecture plugin☆84Updated 6 months ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 6 years ago
- The grey fox☆25Updated 8 years ago