projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0de7254) | patch
this system checks heap results against runtime pointers to look for analysis bugs...
authorjjenista <jjenista>
Fri, 13 May 2011 20:17:30 +0000 (20:17 +0000)
committerjjenista <jjenista>
Fri, 13 May 2011 20:17:30 +0000 (20:17 +0000)
commit8d6ecb5faa7dc88cdead6e1385a4a10c2ec2eec4
tree0ca7a7126ba723869574fda89a9be9380cc38261tree | snapshot
parent0de72543202fdde06d8e57d557c6ebd9a9c2f100commit | diff
this system checks heap results against runtime pointers to look for analysis bugs.  It is currently missing that FlatLiteral nodes can allocation a new string object, coming in a future update.
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/FlatIRGraph/FlatIRGraph.java diff | blob | history
Robust/src/Analysis/Pointer/Pointer.java diff | blob | history
Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java diff | blob | history
Robust/src/IR/Flat/BCXallocsiteObjectField.java diff | blob | history
Robust/src/IR/Flat/BuildCode.java diff | blob | history
Robust/src/IR/TypeUtil.java diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Irvine Research Compiler