sleep.taint
Class TaintModeGeneratedSteps
java.lang.Object
sleep.engine.GeneratedSteps
sleep.taint.TaintModeGeneratedSteps
public class TaintModeGeneratedSteps
- extends GeneratedSteps
A replacement factory that generates Sleep interpreter instructions that honor and spread the taint mode.
Methods inherited from class sleep.engine.GeneratedSteps |
Assign, AssignAndOperate, AssignT, AssignTupleAndOperate, Bind, BindFilter, BindPredicate, Check, CreateClosure, CreateFrame, Decide, Get, Goto, Index, IteratorCreate, IteratorDestroy, IteratorNext, PopTry, Return, SValue, Try |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TaintModeGeneratedSteps
public TaintModeGeneratedSteps()
Call
public Step Call(String function)
- Overrides:
Call
in class GeneratedSteps
PLiteral
public Step PLiteral(List doit)
- Overrides:
PLiteral
in class GeneratedSteps
Operate
public Step Operate(String oper)
- Overrides:
Operate
in class GeneratedSteps
ObjectNew
public Step ObjectNew(Class name)
- Overrides:
ObjectNew
in class GeneratedSteps
ObjectAccess
public Step ObjectAccess(String name)
- Overrides:
ObjectAccess
in class GeneratedSteps
ObjectAccessStatic
public Step ObjectAccessStatic(Class aClass,
String name)
- Overrides:
ObjectAccessStatic
in class GeneratedSteps