Create analysis model for string literals in disjointness analysis that supports...
[IRC.git] / Robust / src / Analysis / Disjoint / HeapAnalysis.java
2011-05-16 jjenistaCreate analysis model for string literals in disjointne...
2011-05-13 jjenistamodel the allocation of string literals in heap analysis
2011-05-13 jjenistathis system checks heap results against runtime pointer...
2011-05-11 jjenistadifferentiate between analysis says something points...
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis...
2011-03-18 bdemskycommit hacks to effect analysis...interfaces to allow...