soot.jimple.toolkits.thread.transaction
Class TransactionAnalysis
java.lang.Object
soot.toolkits.scalar.AbstractFlowAnalysis<N,A>
soot.toolkits.scalar.FlowAnalysis<N,A>
soot.toolkits.scalar.ForwardFlowAnalysis
soot.jimple.toolkits.thread.transaction.TransactionAnalysis
public class TransactionAnalysis
- extends ForwardFlowAnalysis
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
optionPrintDebug
public boolean optionPrintDebug
newInitialFlow
protected Object newInitialFlow()
- All INs are initialized to the empty set.
- Specified by:
newInitialFlow
in class AbstractFlowAnalysis
entryInitialFlow
protected Object entryInitialFlow()
- IN(Start) is the empty set
- Specified by:
entryInitialFlow
in class AbstractFlowAnalysis
flowThrough
protected void flowThrough(Object inValue,
Object unit,
Object outValue)
- OUT is the same as (IN minus killSet) plus the genSet.
- Specified by:
flowThrough
in class FlowAnalysis
merge
protected void merge(Object in1,
Object in2,
Object out)
- union
- Specified by:
merge
in class AbstractFlowAnalysis
copy
protected void copy(Object source,
Object dest)
- Description copied from class:
AbstractFlowAnalysis
- Creates a copy of the
source
flow object in dest
.
- Specified by:
copy
in class AbstractFlowAnalysis