rblock in set vars get tainted on rblock enter and wiped at rblock exit, works nicely
authorjjenista <jjenista>
Thu, 24 Jun 2010 18:15:37 +0000 (18:15 +0000)
committerjjenista <jjenista>
Thu, 24 Jun 2010 18:15:37 +0000 (18:15 +0000)
commit1f0e29b978c680206d7e6493cda2567788a378b7
tree266ff7850bbf263ea9af8eaa59f87a06f8c6ab33
parentcb86b4aeba07725f9660d88a3b05c52b07795d64
rblock in set vars get tainted on rblock enter and wiped at rblock exit, works nicely
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
Robust/src/Tests/disjoint/taintTest1/makefile
Robust/src/Tests/disjoint/taintTest1/test.java