more implementation for the inference: propagating relations of callee parameters...
authoryeom <yeom>
Mon, 7 May 2012 00:09:43 +0000 (00:09 +0000)
committeryeom <yeom>
Mon, 7 May 2012 00:09:43 +0000 (00:09 +0000)
commit0b423adbb0f959f90ca7845e53fe8e7e0e151b96
treec7477bcfcfce3367af08876a7259d0cec69fb3f7
parentb8806556ab04f603adf089c7bd86b92a63964c40
more implementation for the inference: propagating relations of callee parameters to the caller's lattice
Robust/src/Analysis/SSJava/FlowGraph.java
Robust/src/Analysis/SSJava/FlowNode.java
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java