USECAP / dreamLinks
☆19Updated 6 years ago
Alternatives and similar repositories for dream
Users that are interested in dream are comparing it to the libraries listed below
Sorting:
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- LLVM meets Code Property Graphs☆93Updated 4 years ago
- ☆10Updated 6 years ago
- A binary to LLVM translator☆149Updated 7 years ago
- Collection of various llvm passes☆127Updated 10 years ago
- ☆31Updated 5 years ago
- SMT Modeling for Ghidra's PCODE☆28Updated this week
- Aarch64 architecture plugin☆85Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- An approximate solver for concolic execution☆18Updated 3 months ago
- Library for Capstone instruction to LLVM IR translation☆47Updated 7 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- ☆72Updated last year
- ☆27Updated 2 years ago
- ☆16Updated last year
- Driver Security Analyzer☆53Updated 4 years ago
- Tutorial to write qemu plugins☆33Updated 8 years ago
- ☆32Updated 2 years ago
- A LLVM Pass with runtime dataflow sanitization☆33Updated 6 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆64Updated 4 years ago
- Rust bindings for googleprojectzero/TinyInst☆22Updated 4 months ago
- llvm crash analysis☆44Updated last year
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- transpile llil to c++ for execution and testing☆43Updated last year
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆25Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- QuarkslaB Dynamic Linker library☆86Updated 8 months ago
- Plugin to visualize Miasm IR graph in Binary Ninja.☆13Updated 6 years ago
- How to use LLVM passes☆34Updated 3 years ago
- ARMv7 architecture plugin☆41Updated last year