allow debug reach graphs to show taints but supress node, edge AND taint predicates...
authorjjenista <jjenista>
Tue, 3 May 2011 17:38:26 +0000 (17:38 +0000)
committerjjenista <jjenista>
Tue, 3 May 2011 17:38:26 +0000 (17:38 +0000)
commitf153346b4082b0c9035fbbd1d1fb32a4f352b599
tree75ea44a5b9b9daf19ab9da0819487a6db253312f
parent63a071d1dfbbe2c31192dec7bb506cba2e8eb74c
allow debug reach graphs to show taints but supress node, edge AND taint predicates, and some other tiny debug changes
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/RefEdge.java
Robust/src/Analysis/Disjoint/Taint.java
Robust/src/Analysis/Disjoint/TaintSet.java
Robust/src/Benchmarks/oooJava/master-makefile