public class StartJoinAnalysis extends ForwardFlowAnalysis
FlowAnalysis.FlowfilterUnitToAfterFlow, unitToAfterFlowfilterUnitToBeforeFlow, graph, unitToBeforeFlow| Constructor and Description |
|---|
StartJoinAnalysis(UnitGraph g,
SootMethod sm,
CallGraph callGraph,
PAG pag) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
copy(Object source,
Object dest)
Creates a copy of the
source flow object in dest. |
void |
doFlowInsensitiveSingleIterationAnalysis() |
protected Object |
entryInitialFlow()
Returns the initial flow value for entry/exit graph nodes.
|
protected void |
flowThrough(Object inValue,
Object unit,
Object outValue)
Given the merge of the
out sets, compute the in set for s (or in to out,
depending on direction). |
Set<Stmt> |
getJoinStatements() |
Set<Stmt> |
getStartStatements() |
Map<Stmt,List<AllocNode>> |
getStartToAllocNodes() |
Map<Stmt,Stmt> |
getStartToJoin() |
Map<Stmt,List<SootMethod>> |
getStartToRunMethods() |
protected void |
merge(Object in1,
Object in2,
Object out)
Compute the merge of the
in1 and in2 sets, putting the result into out. |
protected Object |
newInitialFlow()
Returns the flow object corresponding to the initial values for each graph node.
|
doAnalysis, isForwardcopyFreshToExisting, getFlow, getFlowAfter, getFlowBefore, omissiblemerge, mergeInto, treatTrapHandlersAsEntriespublic StartJoinAnalysis(UnitGraph g, SootMethod sm, CallGraph callGraph, PAG pag)
public Map<Stmt,List<SootMethod>> getStartToRunMethods()
public void doFlowInsensitiveSingleIterationAnalysis()
protected void merge(Object in1, Object in2, Object 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 AbstractFlowAnalysisprotected void flowThrough(Object inValue, Object unit, Object outValue)
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 FlowAnalysisinValue - the input flowunit - the current nodeoutValue - the returned flowprotected void copy(Object source, Object dest)
AbstractFlowAnalysissource flow object in dest.copy in class AbstractFlowAnalysisprotected Object entryInitialFlow()
AbstractFlowAnalysisAbstractFlowAnalysis.newInitialFlow()entryInitialFlow in class AbstractFlowAnalysisprotected Object newInitialFlow()
AbstractFlowAnalysisnewInitialFlow in class AbstractFlowAnalysisCopyright © 2024 Soot OSS. All rights reserved.