public class LocalMayAliasAnalysis extends ForwardFlowAnalysis<Unit,Set<Set<Value>>>
FlowAnalysis.FlowfilterUnitToAfterFlow, unitToAfterFlowfilterUnitToBeforeFlow, graph, unitToBeforeFlow| Constructor and Description |
|---|
LocalMayAliasAnalysis(UnitGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
copy(Set<Set<Value>> source,
Set<Set<Value>> target)
Creates a copy of the
source flow object in dest. |
protected Set<Set<Value>> |
entryInitialFlow()
Returns the initial flow value for entry/exit graph nodes.
|
protected void |
flowThrough(Set<Set<Value>> source,
Unit unit,
Set<Set<Value>> target)
Given the merge of the
out sets, compute the in set for s (or in to out,
depending on direction). |
boolean |
mayAlias(Value v1,
Value v2,
Unit u)
Returns true if v1 and v2 may alias before u.
|
Set<Value> |
mayAliases(Value v,
Unit u)
Returns all values that may-alias with v before u.
|
Set<Value> |
mayAliasesAtExit(Value v)
Returns all values that may-alias with v at the end of the procedure.
|
protected void |
merge(Set<Set<Value>> source1,
Set<Set<Value>> source2,
Set<Set<Value>> target)
Compute the merge of the
in1 and in2 sets, putting the result into out. |
protected Set<Set<Value>> |
newInitialFlow()
Returns the flow object corresponding to the initial values for each graph node.
|
doAnalysis, isForwardgetFlow, getFlowAfter, getFlowBefore, omissiblemerge, mergeInto, treatTrapHandlersAsEntriespublic LocalMayAliasAnalysis(UnitGraph graph)
protected void flowThrough(Set<Set<Value>> source, Unit unit, Set<Set<Value>> target)
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,Set<Set<Value>>>source - the input flowunit - the current nodetarget - the returned flowprotected void copy(Set<Set<Value>> source, Set<Set<Value>> target)
AbstractFlowAnalysissource flow object in dest.protected Set<Set<Value>> entryInitialFlow()
AbstractFlowAnalysisAbstractFlowAnalysis.newInitialFlow()entryInitialFlow in class AbstractFlowAnalysis<Unit,Set<Set<Value>>>protected void merge(Set<Set<Value>> source1, Set<Set<Value>> source2, Set<Set<Value>> target)
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.protected Set<Set<Value>> newInitialFlow()
AbstractFlowAnalysisnewInitialFlow in class AbstractFlowAnalysis<Unit,Set<Set<Value>>>public boolean mayAlias(Value v1, Value v2, Unit u)
public Set<Value> mayAliases(Value v, Unit u)
Copyright © 2020 Soot OSS. All rights reserved.