cs-au-dk / TIP

Static program analysis for TIP

http://cs.au.dk/~amoeller/spa/

cs-au-dk/TIP Issues

Implementation missing?
Closed 4 years ago2
IntelliJ doesn't pick up SBT project
Closed 4 years ago3
Extend the flow-sensitive analyses with variations like SignAnalysis
Closed 6 years ago
Normalization
Closed 6 years ago
Lattice Parameterization Inconsistency
Closed 7 years ago5
Wrong filename in exercise 3
Closed 7 years ago1
Context-sensitive interprocedural analysis
Closed 7 years ago1
Check language assumptions
Closed 8 years ago
Clean up parser and AST
Closed 8 years ago
-
Closed 9 years ago
New analysis: NullPointerAnalysis
Updated 9 years ago
New analysis: EscapeAnalysis
Updated 9 years ago
Extend AndersenAnalysis and SteensgaardAnalysis to interprocedural
Updated 9 years ago