static-single-assignment

There are 1 repository under static-single-assignment topic.

pfalcon / ssabook
Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
ssa static-single-assignment
Language:TeX 142
MimIR
AnyDSL / MimIR
MimIR is my Intermediate Representation
compiler compilers compiler-construction partial-evaluation partial-evaluator dependent-types intermediate-representation optimizer ssa static-single-assignment cps continuation-passing-style functional-programming functional-programming-language programming-language
Language:C++ 82
nick-ulle / rstatic
An R package for static analysis of R code.
control-flow-graph intermediate-representation r static-analysis static-single-assignment
Language:R 42
flylai / cyx2
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
compiler ssa virtual-machine interpreter static-single-assignment programming-language toy-compiler
Language:C++ 39
CompilerProgramming / ez-lang
EeZee Language - Compiler Engineering Basics
abstract-syntax-tree bytecode-interpreter compiler dominator-tree static-single-assignment
Language:Java 30
edgardozoppi / analysis-net
Static analysis framework for .NET programs.
static-code-analysis net-framework control-flow-analysis static-single-assignment ssa cil bytecode three-address-code data-flow-analysis api dotnet library framework c-sharp visual-basic points-to-analysis call-graph-analysis analysis static-analysis backend
Language:C# 28
meerkatone / static_single_assignment_with_binary_ninja
Static Single Assignment with Binary Ninja
binary-ninja static-single-assignment
Language:Jupyter Notebook 3
davnavr / ubyte
Yet another intermediate language, but with SSA
static-single-assignment
Language:F# 1
shafiul / N-Puzzle-Z3
Test case generation of classic N-Puzzle game using Z3
z3 z3py static-analysis symbolic-execution n-puzzle automated-test-generation ssa sat-solver static-single-assignment
Language:Python 1
nwmarino / statim
toy compiler leveraging llvm
compiler programming-language static-single-assignment syntax-highlighting
Language:C++ 0