taints tested, propagate interprocedurally
authorjjenista <jjenista>
Thu, 24 Jun 2010 20:51:44 +0000 (20:51 +0000)
committerjjenista <jjenista>
Thu, 24 Jun 2010 20:51:44 +0000 (20:51 +0000)
commit0eb7c59b31dc23f54c4c9288ecb721603b67d952
tree1cc12dd9bb0215576e124c91849cf37de805c550
parent1f0e29b978c680206d7e6493cda2567788a378b7
taints tested, propagate interprocedurally
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/Taint.java
Robust/src/Analysis/Disjoint/TaintSet.java
Robust/src/Tests/disjoint/taintTest1/makefile
Robust/src/Tests/disjoint/taintTest1/test.java