getting effects analysis going, need a few more pieces before call site analysis...
authorjjenista <jjenista>
Fri, 25 Jun 2010 22:41:14 +0000 (22:41 +0000)
committerjjenista <jjenista>
Fri, 25 Jun 2010 22:41:14 +0000 (22:41 +0000)
commiteb4915a6e526272e2a3b5cb57130157e92377476
treed03390b9d11669667c5b58c5ffb85441f1c6d8c5
parent15ce68241564bb3687309e2bd2f93d6cff46add1
getting effects analysis going, need a few more pieces before call site analysis will work
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/CanonicalOp.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/EffectsAnalysis.java
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/taintTest1/makefile
Robust/src/Tests/disjoint/taintTest1/test.java