Create analysis model for string literals in disjointness analysis that supports...
authorjjenista <jjenista>
Mon, 16 May 2011 22:32:57 +0000 (22:32 +0000)
committerjjenista <jjenista>
Mon, 16 May 2011 22:32:57 +0000 (22:32 +0000)
commit40beaa760457126a337cdae483e2ca17edeeb106
tree82cd33bb6aa14e39a0c466e1b3f3df0e8bcbd685
parentc4c81eec6a11f7c65e4584af65b2eabc66ab83f7
Create analysis model for string literals in disjointness analysis that supports checking allocation sites at runtime
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/HeapAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Pointer/Pointer.java
Robust/src/Benchmarks/oooJava/master-makefile
Robust/src/IR/Flat/BCXallocsiteObjectField.java