betterenvi / Compiler-DFA-SSA
Data Flow Analysis and Static Single Assignment
☆28Updated 6 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
- Compiler and VM(interpreter), Using SSA form and doing some optimizations.☆36Updated 3 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆23Updated 2 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- LLVM pass☆23Updated 4 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Slicing tool for c++ programs using clang AST.☆17Updated 4 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆31Updated 10 years ago
- predicate scientific program performance model using llvm☆28Updated 9 years ago
- A simple SSA-based compiler.☆16Updated 10 months ago
- TracerX Symbolic Virtual Machine☆33Updated 2 months ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Program Analysis for LLVM☆36Updated 8 years ago
- An LLVM bitcode parsing example☆55Updated 4 years ago
- LLVM Metadata Visualizer☆22Updated 7 years ago
- A library for dynamic binary rewriting☆57Updated 4 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 …☆14Updated 5 years ago
- llvm crash analysis☆43Updated 8 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆66Updated last week
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- The C/C++/Fortran compiler collection written in Java☆36Updated 3 years ago
- Binary Translator to LLVM IR☆48Updated 7 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated last month
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- KLEE's version of uClibc☆52Updated 9 months ago
- Linker and loader for elf relocatable files. Developed in C for ARM architecture.☆30Updated 11 months ago
- A data dependence analyzer for C program☆21Updated 3 years ago