betterenvi / Compiler-DFA-SSA
Data Flow Analysis and Static Single Assignment
☆28Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Compiler-DFA-SSA
- Compiler and VM(interpreter), Using SSA form and doing some optimizations.☆35Updated 3 years ago
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆23Updated last year
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- The C/C++/Fortran compiler collection written in Java☆36Updated 3 years ago
- LLVM meets Code Property Graphs☆88Updated 3 years ago
- A library for dynamic binary rewriting☆57Updated 3 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- TracerX Symbolic Virtual Machine☆31Updated this week
- A simple SSA-based compiler.☆16Updated 6 months ago
- Decode machine code into VEX IR and translate into LLVM IR☆25Updated 5 years ago
- LLVM pass☆21Updated 4 years ago
- The notes about programming language theory☆23Updated last year
- Collection of various llvm passes☆117Updated 9 years ago
- DebugIR: Debugging LLVM-IR Files☆125Updated 3 weeks ago
- Visualization of LLVM IR☆60Updated 10 years ago
- Binary Translator to LLVM IR☆47Updated 6 years ago
- An LLVM bitcode parsing example☆55Updated 4 years ago
- Library for Capstone instruction to LLVM IR translation☆42Updated 6 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 7 years ago
- LLVM Metadata Visualizer☆22Updated 6 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 3 years ago
- predicate scientific program performance model using llvm☆28Updated 9 years ago
- ☆19Updated 6 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 …☆13Updated 5 years ago
- TSAR (Traits Static AnalyzeR)☆14Updated 6 months ago
- ☆10Updated 6 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Obfuscator based on logic-bombs☆65Updated 4 years ago