projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff2e707) | patch
extend taints for a new mode in DFJ that helps build the state machine traversers
authorjjenista <jjenista>
Fri, 4 Mar 2011 23:10:03 +0000 (23:10 +0000)
committerjjenista <jjenista>
Fri, 4 Mar 2011 23:10:03 +0000 (23:10 +0000)
commit6be7554a5efe98821649c3ff5ffcfcf2d815ea13
treee31f5f4c431f58f5fb4478498e79611e0f14844ftree | snapshot
parentff2e707dae52f519853c3a05d372dc175b6f3a27commit | diff
extend taints for a new mode in DFJ that helps build the state machine traversers
Robust/src/Analysis/Disjoint/Canonical.java diff | blob | history
Robust/src/Analysis/Disjoint/DisjointAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Robust/src/Analysis/Disjoint/SMFEState.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/StateMachineForEffects.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/Taint.java diff | blob | history
Robust/src/Analysis/Disjoint/TaintSet.java diff | blob | history
Irvine Research Compiler