getting parameter taints in new analysis
authorjjenista <jjenista>
Thu, 17 Jun 2010 22:20:37 +0000 (22:20 +0000)
committerjjenista <jjenista>
Thu, 17 Jun 2010 22:20:37 +0000 (22:20 +0000)
commit8fb7b379904b66da0ada85c1ee16509434a85cd6
treeb3c804963a9c1af0c7f511bc1a58d7eff73b6e09
parent08c38efb7c75d8153e9de4cef6207cd7d403adb7
getting parameter taints in new analysis
Robust/src/Analysis/Disjoint/AllocSite.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/ReachState.java
Robust/src/Analysis/Disjoint/RefEdge.java
Robust/src/Analysis/Disjoint/Taint.java
Robust/src/Tests/disjoint/taintTest1/makefile [new file with mode: 0644]
Robust/src/Tests/disjoint/taintTest1/test.java [new file with mode: 0644]