lifting-bits / fennec
Rewriting functions in compiled binaries using McSema
☆87Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for fennec
- ELF Unstrip Tool☆106Updated 9 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- A PCode Emulator for Ghidra.☆105Updated 3 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆104Updated 6 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated last week
- ☆63Updated 5 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Nampa - FLIRT for (binary) ninjas☆89Updated 2 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆83Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆135Updated 3 years ago
- Symbolic Simplification with PAttern Matching☆101Updated 7 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆204Updated 3 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- Flex 'em lexers☆38Updated 4 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆110Updated 6 years ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆110Updated 3 years ago
- radare2 + miasm2 = ♥☆101Updated 4 years ago
- Uncovering Class Hierarchies in C++ Programs☆125Updated 2 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆57Updated 3 years ago
- DynamoRIO coverage visualization for cutter☆60Updated 2 years ago
- ☆95Updated 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 8 months ago
- Transfer analysis data between Binary Ninja and IDA☆121Updated last month
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆113Updated 8 months ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated 2 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆88Updated last year