Do effects as a global space, don't even need to consider call site transform, taints...
authorjjenista <jjenista>
Sat, 26 Jun 2010 21:36:37 +0000 (21:36 +0000)
committerjjenista <jjenista>
Sat, 26 Jun 2010 21:36:37 +0000 (21:36 +0000)
commitc75aa3a57ead9a9ec83d0146eabf9ca3b2204107
treeb8121210cdc16a4e79815b8a5c7b61411e72a60a
parent85a9d07d9290e93f7de0db34b3d2ebbdd3b9ca8b
Do effects as a global space, don't even need to consider call site transform, taints propagate interprocedurally and pick everything up, whoo hoo
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/EffectSet.java [deleted file]
Robust/src/Analysis/Disjoint/EffectsAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/taintTest1/makefile