added array access inference
authordavid <david>
Fri, 21 Oct 2011 01:49:47 +0000 (01:49 +0000)
committerdavid <david>
Fri, 21 Oct 2011 01:49:47 +0000 (01:49 +0000)
commitd84945f5125d7b9a1dd69e9d16b8b53a92fa18ac
tree822a48fe05a7a90039a41c3052f6e82ebd727120
parentfad9cb9fbe9ebc5ad7d6ba6253330b7588ef24be
added array access inference
Robust/src/Analysis/SSJava/SSJavaInferenceEngine.java