Getting taints to propagate in new analysis, no parameter taints, RBLOCK taints only
authorjjenista <jjenista>
Tue, 22 Jun 2010 18:37:39 +0000 (18:37 +0000)
committerjjenista <jjenista>
Tue, 22 Jun 2010 18:37:39 +0000 (18:37 +0000)
commitf3e0b2bea5e6e44fa3c1b49666594f65dd8a4475
tree5cdd57a66e4feb66bb99895020dff60cc675e663
parent4590f904b132080035c5153d89a182de732fca6d
Getting taints to propagate in new analysis, no parameter taints, RBLOCK taints only
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/CanonicalOp.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/Taint.java