draperlaboratory / fracture
an architecture-independent decompiler to LLVM IR
☆386Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for fracture
- Binary Translator to LLVM IR☆216Updated last year
- ☆139Updated 5 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Project moved to: https://github.com/llvm/llvm-project☆289Updated 5 years ago
- Collection of various llvm passes☆117Updated 9 years ago
- LLVM Profiling Visualization☆83Updated 2 years ago
- A bibliography of papers related to symbolic execution☆284Updated 8 years ago
- A plugin for Clang compiler☆115Updated 2 years ago
- A Turing complete ROP compiler☆317Updated 11 years ago
- An easy guide to Clang Static Analyzer extension.☆138Updated 4 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆129Updated 6 years ago
- custom type systems for Clang☆96Updated 9 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- A step-by-step tutorial for building an LLVM sample pass☆213Updated 4 years ago
- An optimizing decompiler☆707Updated 3 years ago
- ☆115Updated 7 years ago
- An amd64 symbolic emulator☆310Updated 3 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆48Updated 7 years ago
- A binary to LLVM translator☆144Updated 6 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- This repository contains a tutorial for a quick start in how to write a register allocator using LLVM☆267Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆250Updated last year
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- Static Slicer for LLVM☆65Updated 8 years ago
- llvm-mctoll☆816Updated 5 months ago
- clang checker to find heartbleed☆85Updated 10 years ago
- example LLVM pass☆558Updated last year
- Export dwarf debug information from IDA Pro☆207Updated 2 years ago
- predicate scientific program performance model using llvm☆28Updated 9 years ago