static-single-assignment

There are 10 repositories 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).
Language:TeX145 8 221
AnyDSL/MimIR
MimIR is my Intermediate Representation
Language:C++82 12 6617
nick-ulle/rstatic
An R package for static analysis of R code.
Language:R42 4 74
flylai/cyx2
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
Language:C++39 2 03
CompilerProgramming/ez-lang
EeZee Language - Compiler Engineering Basics
Language:Java31 1 116
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Language:C#28 3 815
meerkatone/static_single_assignment_with_binary_ninja
Static Single Assignment with Binary Ninja
Language:Jupyter Notebook3
davnavr/ubyte
Yet another intermediate language, but with SSA
Language:F#1 2 00
shafiul/N-Puzzle-Z3
Test case generation of classic N-Puzzle game using Z3
Language:Python1 1 00
nwmarino/statim
toy compiler leveraging llvm
Language:C++00