public class SimpleMethodInfoFlowAnalysis extends ForwardFlowAnalysis<Unit,FlowSet<Pair<EquivalentValue,EquivalentValue>>>
FlowAnalysis.Flow| Modifier and Type | Field and Description |
|---|---|
static int |
counter |
filterUnitToAfterFlow, unitToAfterFlowfilterUnitToBeforeFlow, graph, unitToBeforeFlow| Modifier | Constructor and Description |
|---|---|
|
SimpleMethodInfoFlowAnalysis(UnitGraph g,
InfoFlowAnalysis dfa,
boolean ignoreNonRefTypeFlow) |
protected |
SimpleMethodInfoFlowAnalysis(UnitGraph g,
InfoFlowAnalysis dfa,
boolean ignoreNonRefTypeFlow,
boolean dummyDontRunAnalysisYet)
A constructor that doesn't run the analysis
|
doAnalysis, isForwardgetFlow, getFlowAfter, getFlowBefore, omissiblemerge, mergeInto, treatTrapHandlersAsEntriespublic SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow)
protected SimpleMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa, boolean ignoreNonRefTypeFlow, boolean dummyDontRunAnalysisYet)
public void doFlowInsensitiveAnalysis()
public MutableDirectedGraph<EquivalentValue> getMethodInfoFlowSummary()
protected void merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1, FlowSet<Pair<EquivalentValue,EquivalentValue>> in2, FlowSet<Pair<EquivalentValue,EquivalentValue>> 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,FlowSet<Pair<EquivalentValue,EquivalentValue>>>protected boolean isNonRefType(Type type)
protected boolean ignoreThisDataType(Type type)
public boolean isInterestingSource(Value source)
public boolean isTrackableSource(Value source)
public boolean isInterestingSink(Value sink)
public boolean isTrackableSink(Value sink)
protected void handleFlowsToValue(Value sink, Value initialSource, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected void handleFlowsToDataStructure(Value base, Value initialSource, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected java.util.List<Value> handleInvokeExpr(InvokeExpr ie, Stmt is, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected void flowThrough(FlowSet<Pair<EquivalentValue,EquivalentValue>> in, Unit unit, FlowSet<Pair<EquivalentValue,EquivalentValue>> 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,FlowSet<Pair<EquivalentValue,EquivalentValue>>>in - the input flowunit - the current nodeout - the returned flowprotected void copy(FlowSet<Pair<EquivalentValue,EquivalentValue>> source, FlowSet<Pair<EquivalentValue,EquivalentValue>> dest)
AbstractFlowAnalysissource flow object in dest.copy in class AbstractFlowAnalysis<Unit,FlowSet<Pair<EquivalentValue,EquivalentValue>>>protected FlowSet<Pair<EquivalentValue,EquivalentValue>> entryInitialFlow()
AbstractFlowAnalysisAbstractFlowAnalysis.newInitialFlow()entryInitialFlow in class AbstractFlowAnalysis<Unit,FlowSet<Pair<EquivalentValue,EquivalentValue>>>protected FlowSet<Pair<EquivalentValue,EquivalentValue>> newInitialFlow()
AbstractFlowAnalysisnewInitialFlow in class AbstractFlowAnalysis<Unit,FlowSet<Pair<EquivalentValue,EquivalentValue>>>public Value getThisLocal()