changes: building field/method hierarchy graph + inserting combination nodes at the...
authoryeom <yeom>
Sun, 16 Sep 2012 20:20:59 +0000 (20:20 +0000)
committeryeom <yeom>
Sun, 16 Sep 2012 20:20:59 +0000 (20:20 +0000)
commitd421edc382984588192603ed519923beadeb4d3a
tree3d231578c8cce7b2affa1352e4027f6941e12499
parent8cdbc33c57507d06e986e888a9ea170ee5c50c1b
changes: building field/method hierarchy graph + inserting combination nodes at the point where flows from skeleton nodes(params/fields) are actually combined.
12 files changed:
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/FlowGraph.java
Robust/src/Analysis/SSJava/FlowNode.java
Robust/src/Analysis/SSJava/HNode.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/HierarchyGraph.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/Location.java
Robust/src/Analysis/SSJava/LocationDescriptor.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/LocationInfo.java
Robust/src/Analysis/SSJava/MethodSummary.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/NodeTupleSet.java
Robust/src/Analysis/SSJava/SSJavaLattice.java