betterenvi / Compiler-DFA-SSALinks
Data Flow Analysis and Static Single Assignment
☆29Updated 7 years ago
Alternatives and similar repositories for Compiler-DFA-SSA
Users that are interested in Compiler-DFA-SSA are comparing it to the libraries listed below
Sorting:
- Compiler and VM(interpreter), Using SSA form and doing some optimizations.☆39Updated 4 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Updated 11 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Updated 5 years ago
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆26Updated 3 years ago
- The C/C++/Fortran compiler collection written in Java☆36Updated 4 years ago
- Resurrected LLVM "Cpp Backend", rebuild as a LLVM tool, with better compatibility and readability.☆67Updated 3 years ago
- TracerX Symbolic Virtual Machine☆32Updated 4 months ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- Visualization of LLVM IR☆59Updated 11 years ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- Simple Library calls tracer☆22Updated 7 years ago
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆17Updated 6 years ago
- DebugIR: Debugging LLVM-IR Files☆145Updated last year
- TSAR (Traits Static AnalyzeR)☆15Updated last year
- An LLVM bitcode parsing example☆53Updated 5 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22Updated 2 years ago
- predicate scientific program performance model using llvm☆27Updated 10 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 6 years ago
- Clang AST viewer☆69Updated 8 years ago
- Capstone disassembly/disassembler framework: Core (Arm, Arm64, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, O…☆12Updated 10 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- A binary to LLVM translator☆151Updated 7 years ago
- A little C Style Compiler☆56Updated 8 years ago
- Decompiler of LLVM bitcode to C☆89Updated last month
- A simple SSA-based compiler.☆17Updated last year
- Slicing tool for c++ programs using clang AST.☆18Updated 4 years ago
- 参照着OLLVM写的一个混淆库,只要机器上有装LLVM,就可以直接编译拿来用☆55Updated 7 years ago
- LLVM meets Code Property Graphs☆96Updated 4 years ago
- LLVM pass☆23Updated 5 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆36Updated 2 months ago