initial commit for maintaining reference edges with taint information.
authoryeom <yeom>
Mon, 28 Sep 2009 20:58:28 +0000 (20:58 +0000)
committeryeom <yeom>
Mon, 28 Sep 2009 20:58:28 +0000 (20:58 +0000)
commit381c28daaa5eed14e4796f61c37f86d5b91eb454
treea621254dadb44d5f8b24b2a53b1de5f2ad59bed1
parentbf134fff74f639d9b58745cfa203290402d917c2
initial commit for maintaining reference edges with taint information.
Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java
Robust/src/Analysis/OwnershipAnalysis/MethodEffects.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java