kc-ml2 / llvm-flowLinks
An open-source interactive visualization tool for comparing IR CFGs
☆85Updated 2 weeks ago
Alternatives and similar repositories for llvm-flow
Users that are interested in llvm-flow are comparing it to the libraries listed below
Sorting:
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- Binja Arm64 Disassembler☆95Updated 3 months ago
- A (SLEIGH) disassembler that supports multiple architectures☆84Updated 3 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- LLVM meets Code Property Graphs☆93Updated 4 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 7 months ago
- SMT Modeling for Ghidra's PCODE☆27Updated this week
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 3 months ago
- How to use LLVM passes☆33Updated 3 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated 2 months ago
- VSCode extension for the LLVM IR language☆62Updated last year
- transpile llil to c++ for execution and testing☆43Updated last year
- Symbolic executor for Binary Ninja's MLIL☆23Updated 9 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆49Updated 2 months ago
- ☆43Updated 4 years ago
- ☆72Updated last year
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 4 years ago
- DebugIR: Debugging LLVM-IR Files☆139Updated 7 months ago
- Library for Capstone instruction to LLVM IR translation☆47Updated 7 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆21Updated 3 months ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆26Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆33Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆35Updated 3 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- llvm crash analysis☆44Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆126Updated this week
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- QuarkslaB Dynamic Linker library☆86Updated 7 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Tantō slices functions into more consumable chunks☆68Updated 3 months ago