analysis collects effects per method and interprocedurally
authorjjenista <jjenista>
Fri, 25 Jun 2010 18:18:50 +0000 (18:18 +0000)
committerjjenista <jjenista>
Fri, 25 Jun 2010 18:18:50 +0000 (18:18 +0000)
commit5fdf584dd337b73e7af7dd6c32bb4fff3c2135d5
tree5da5b2adec14ab2ae63a4a0016f34f97c2d1865e
parent9733b088013301a7c7b6891d8f2ca9bdd2724886
analysis collects effects per method and interprocedurally
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/Effect.java
Robust/src/Analysis/Disjoint/EffectSet.java
Robust/src/Analysis/Disjoint/EffectsAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/taintTest1/makefile
Robust/src/Tests/disjoint/taintTest1/test.java