GJDuck / e9patch
A powerful static binary rewriting tool
☆1,006Updated last month
Alternatives and similar repositories for e9patch:
Users that are interested in e9patch are comparing it to the libraries listed below
- A fast and accurate disassembler☆687Updated this week
- A lightweight dynamic instrumentation library☆1,207Updated 2 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆698Updated 9 months ago
- SymCC: efficient compiler-based symbolic execution☆796Updated 7 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆460Updated 2 months ago
- A fuzzer for full VM kernel/driver targets☆671Updated this week
- Library for lifting machine code to LLVM bitcode☆1,345Updated 7 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆547Updated this week
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆762Updated this week
- revng: the core repository of the rev.ng project☆1,367Updated this week
- The fastest Intel-PT decoder for fuzzing☆366Updated last year
- CLE Loads Everything (at least, many binary formats!)☆432Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆548Updated 5 months ago
- Intermediate Representation for Binary analysis and transformation☆324Updated this week
- Automated static analysis tools for binary programs☆1,579Updated 3 weeks ago
- llvm-mctoll☆832Updated 7 months ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,738Updated 4 months ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆470Updated 7 months ago
- Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…☆938Updated 2 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆347Updated 5 months ago
- cwe_checker finds vulnerable patterns in binary executables☆1,184Updated 2 months ago
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,459Updated last week
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆577Updated 6 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆634Updated 2 years ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆406Updated 2 years ago
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,680Updated 2 years ago
- Driller: augmenting AFL with symbolic execution!☆912Updated 2 years ago
- ☆379Updated 3 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆341Updated 3 months ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆598Updated 2 months ago