ahmedbougacha / dagger
Binary Translator to LLVM IR
☆216Updated last year
Alternatives and similar repositories for dagger:
Users that are interested in dagger are comparing it to the libraries listed below
- an architecture-independent decompiler to LLVM IR☆386Updated 9 years ago
- Collection of various llvm passes☆118Updated 9 years ago
- A binary to LLVM translator☆144Updated 6 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆131Updated 6 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆252Updated last year
- Intermediate Representation for Binary analysis and transformation☆311Updated 2 months ago
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago
- A bibliography of papers related to symbolic execution☆284Updated 8 years ago
- Constraint solver based on coverage-guided fuzzing☆240Updated last year
- An LLVM sanitizer tutorial☆198Updated 2 years ago
- A step-by-step tutorial for building an LLVM sample pass☆214Updated 4 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆340Updated 3 months ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- Export dwarf debug information from IDA Pro☆207Updated 2 years ago
- Seeding fuzzers with symbolic execution☆202Updated 7 years ago
- A static binary rewriter that does not use heuristics☆299Updated 6 years ago
- Binary Translator to LLVM IR☆47Updated 7 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 6 months ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated 11 months ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆314Updated 3 weeks ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆175Updated 2 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆127Updated 3 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆213Updated 4 years ago
- LLVM Profiling Visualization☆84Updated 2 years ago