soot.jimple.toolkits.thread.mhp.findobject
Class MultiRunStatementsFinder
java.lang.Object
soot.toolkits.scalar.AbstractFlowAnalysis<N,A>
soot.toolkits.scalar.FlowAnalysis<N,A>
soot.toolkits.scalar.ForwardFlowAnalysis<Unit,BitSet>
soot.jimple.toolkits.thread.mhp.findobject.MultiRunStatementsFinder
public class MultiRunStatementsFinder
- extends ForwardFlowAnalysis<Unit,BitSet>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
nodeToIndex
protected Map<Object,Integer> nodeToIndex
lastIndex
protected int lastIndex
MultiRunStatementsFinder
public MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg)
merge
protected void merge(BitSet in1,
BitSet in2,
BitSet out)
- Description copied from class:
AbstractFlowAnalysis
- Compute the merge of the
in1
and in2
sets, putting the result into out
.
The behavior of this function depends on the implementation ( it may be necessary to check whether
in1
and in2
are equal or aliased ).
Used by the doAnalysis method.
- Specified by:
merge
in class AbstractFlowAnalysis<Unit,BitSet>
flowThrough
protected void flowThrough(BitSet in,
Unit unit,
BitSet out)
- Description copied from class:
FlowAnalysis
- Given the merge of the
out
sets, compute the in
set for s
(or in to out, depending on direction).
This function often causes confusion, because the same interface
is used for both forward and backward flow analyses. The first
parameter is always the argument to the flow function (i.e. it
is the "in" set in a forward analysis and the "out" set in a
backward analysis), and the third parameter is always the result
of the flow function (i.e. it is the "out" set in a forward
analysis and the "in" set in a backward analysis).
- Specified by:
flowThrough
in class FlowAnalysis<Unit,BitSet>
copy
protected void copy(BitSet source,
BitSet dest)
- Description copied from class:
AbstractFlowAnalysis
- Creates a copy of the
source
flow object in dest
.
- Specified by:
copy
in class AbstractFlowAnalysis<Unit,BitSet>
entryInitialFlow
protected BitSet entryInitialFlow()
- Description copied from class:
AbstractFlowAnalysis
- Returns the initial flow value for entry/exit graph nodes.
- Specified by:
entryInitialFlow
in class AbstractFlowAnalysis<Unit,BitSet>
newInitialFlow
protected BitSet newInitialFlow()
- Description copied from class:
AbstractFlowAnalysis
- Returns the flow object corresponding to the initial values for
each graph node.
- Specified by:
newInitialFlow
in class AbstractFlowAnalysis<Unit,BitSet>
getMultiRunStatements
public FlowSet getMultiRunStatements()
indexOf
protected int indexOf(Object o)