detect possibly evil tasks and do the right thing if a possibly evil execution patter...
authorjjenista <jjenista>
Fri, 8 Apr 2011 22:38:01 +0000 (22:38 +0000)
committerjjenista <jjenista>
Fri, 8 Apr 2011 22:38:01 +0000 (22:38 +0000)
commit8a563edcd624df99248fe602c8463012702c5197
treececb3cab60886987c66a5f9eb7639fa256f845c8
parentf4b1f6876758b6914b27757e4327c6aaba6df0c5
detect possibly evil tasks and do the right thing if a possibly evil execution pattern is detected
Robust/src/Analysis/Disjoint/ProcessStateMachines.java
Robust/src/Analysis/Disjoint/SMFEState.java
Robust/src/Analysis/Disjoint/StateMachineForEffects.java
Robust/src/IR/Flat/RuntimeConflictResolver.java