ahmedbougacha / dagger
Binary Translator to LLVM IR
☆217Updated 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☆393Updated 9 years ago
- Collection of various llvm passes☆120Updated 9 years ago
- A binary to LLVM translator☆147Updated 6 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 8 years ago
- A step-by-step tutorial for building an LLVM sample pass☆216Updated 4 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆133Updated 6 years ago
- A bibliography of papers related to symbolic execution☆285Updated 8 years ago
- A static binary rewriter that does not use heuristics☆303Updated 6 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆348Updated 7 months ago
- Binary Translator to LLVM IR☆49Updated 7 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- Constraint solver based on coverage-guided fuzzing☆244Updated last year
- A patched version of VEX to work with PyVEX.☆107Updated 2 months ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆330Updated last month
- A high performance LLVM-based dynamic binary instrumentation framework☆260Updated 10 months ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated last year
- A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).☆336Updated 3 months ago
- An LLVM sanitizer tutorial☆199Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 10 months ago
- Self-hosting binary instrumentation framework for security research☆212Updated last year
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆255Updated last month
- A taint-tracking plugin for the Valgrind memory checking tool☆258Updated last year
- A Turing complete ROP compiler☆319Updated 11 years ago
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 6 years ago
- Rellic produces goto-free C output from LLVM bitcode☆555Updated 7 months ago