An R package for static analysis of R code.
-
Updated
Jan 13, 2020 - R
#
static-single-assignment
Here are 4 public repositories matching this topic...
Static analysis framework for .NET programs.
c-sharp
api
library
framework
bytecode
backend
analysis
static-code-analysis
visual-basic
dotnet
static-analysis
ssa
control-flow-analysis
cil
net-framework
data-flow-analysis
static-single-assignment
three-address-code
points-to-analysis
call-graph-analysis
-
Updated
Aug 6, 2020 - C#
Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (scheduled for retirement at the end of 2020)
-
Updated
Jul 31, 2020 - TeX
Test case generation of classic N-Puzzle game using Z3
static-analysis
ssa
symbolic-execution
z3
sat-solver
static-single-assignment
n-puzzle
automated-test-generation
z3py
-
Updated
Dec 14, 2015 - Python
Improve this page
Add a description, image, and links to the static-single-assignment topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-single-assignment topic, visit your repo's landing page and select "manage topics."