public class MultiRunStatementsFinder extends ForwardFlowAnalysis<Unit,BitSet>
FlowAnalysis.Flow| Modifier and Type | Field and Description |
|---|---|
protected int |
lastIndex |
protected Map<Object,Integer> |
nodeToIndex |
filterUnitToAfterFlow, unitToAfterFlowfilterUnitToBeforeFlow, graph, unitToBeforeFlow| Constructor and Description |
|---|
MultiRunStatementsFinder(UnitGraph g,
SootMethod sm,
Set<SootMethod> multiCalledMethods,
CallGraph cg) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
copy(BitSet source,
BitSet dest)
Creates a copy of the
source flow object in dest. |
protected BitSet |
entryInitialFlow()
Returns the initial flow value for entry/exit graph nodes.
|
protected void |
flowThrough(BitSet in,
Unit unit,
BitSet out)
Given the merge of the
out sets, compute the in set for s (or in to out,
depending on direction). |
FlowSet |
getMultiRunStatements() |
protected int |
indexOf(Object o) |
protected void |
merge(BitSet in1,
BitSet in2,
BitSet out)
Compute the merge of the
in1 and in2 sets, putting the result into out. |
protected BitSet |
newInitialFlow()
Returns the flow object corresponding to the initial values for each graph node.
|
doAnalysis, isForwardgetFlow, getFlowAfter, getFlowBefore, omissiblemerge, mergeInto, treatTrapHandlersAsEntriespublic MultiRunStatementsFinder(UnitGraph g, SootMethod sm, Set<SootMethod> multiCalledMethods, CallGraph cg)
protected void merge(BitSet in1, BitSet in2, BitSet out)
AbstractFlowAnalysisin1 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.merge in class AbstractFlowAnalysis<Unit,BitSet>protected void flowThrough(BitSet in, Unit unit, BitSet out)
FlowAnalysisout 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).flowThrough in class FlowAnalysis<Unit,BitSet>in - the input flowunit - the current nodeout - the returned flowprotected void copy(BitSet source, BitSet dest)
AbstractFlowAnalysissource flow object in dest.copy in class AbstractFlowAnalysis<Unit,BitSet>protected BitSet entryInitialFlow()
AbstractFlowAnalysisAbstractFlowAnalysis.newInitialFlow()entryInitialFlow in class AbstractFlowAnalysis<Unit,BitSet>protected BitSet newInitialFlow()
AbstractFlowAnalysisnewInitialFlow in class AbstractFlowAnalysis<Unit,BitSet>public FlowSet getMultiRunStatements()
protected int indexOf(Object o)
Copyright © 2020 Soot OSS. All rights reserved.