ahmedbougacha / daggerLinks
Binary Translator to LLVM IR
☆219Updated 2 years ago
Alternatives and similar repositories for dagger
Users that are interested in dagger are comparing it to the libraries listed below
Sorting:
- an architecture-independent decompiler to LLVM IR☆394Updated 9 years ago
- Collection of various llvm passes☆123Updated 10 years ago
- A binary to LLVM translator☆148Updated 7 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆134Updated 6 years ago
- A bibliography of papers related to symbolic execution☆287Updated 8 years ago
- The Jakstab static analysis platform for binaries