projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ece740) | patch
New tool to check points-to results of a heap analysis against runtime pointers....
authorjjenista <jjenista>
Tue, 10 May 2011 20:37:37 +0000 (20:37 +0000)
committerjjenista <jjenista>
Tue, 10 May 2011 20:37:37 +0000 (20:37 +0000)
commita49872987651a8037fd84b193134e0818adda149
tree7991cba423b319b382648eb8aa9d83d2751462b8tree | snapshot
parent5ece740dddfbc9823184d9d5a5818bac06341412commit | diff
New tool to check points-to results of a heap analysis against runtime pointers.  Added an extension object system to BuildCode for this and future extensions.
15 files changed:
Robust/src/Analysis/Disjoint/DisjointAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/HeapAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java diff | blob | history
Robust/src/Analysis/Pointer/Pointer.java diff | blob | history
Robust/src/Benchmarks/oooJava/master-makefile diff | blob | history
Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java [new file with mode: 0644] blob
Robust/src/IR/Flat/BCXallocsiteObjectField.java [new file with mode: 0644] blob
Robust/src/IR/Flat/BuildCode.java diff | blob | history
Robust/src/IR/Flat/BuildCodeExtension.java [new file with mode: 0644] blob
Robust/src/IR/Flat/BuildOoOJavaCode.java diff | blob | history
Robust/src/IR/State.java diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Robust/src/Runtime/runtime.c diff | blob | history
Robust/src/buildscript diff | blob | history
Irvine Research Compiler