changes: fix all problems of mapping between a flow node/hierarchy node to a lattice...
authoryeom <yeom>
Mon, 15 Oct 2012 02:42:50 +0000 (02:42 +0000)
committeryeom <yeom>
Mon, 15 Oct 2012 02:42:50 +0000 (02:42 +0000)
commit03f449200cf7e78de07f884509619d0e37edfacf
tree198b900d357a2006a67d9b3314e299f9c50d5749
parentaec24fc101dec2a1ece71783932d11eb46704ebe
changes: fix all problems of mapping between a flow node/hierarchy node to a lattice element
Robust/src/Analysis/SSJava/BuildLattice.java
Robust/src/Analysis/SSJava/HierarchyGraph.java
Robust/src/Analysis/SSJava/LocationInference.java