|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.toolkits.scalar.AbstractFlowAnalysis
An abstract class providing a metaframework for carrying out dataflow analysis. This class provides common methods and fields required by the BranchedFlowAnalysis and FlowAnalysis abstract classes.
Field Summary | |
protected Map |
filterUnitToBeforeFlow
Filtered: Maps graph nodes to IN sets. |
protected DirectedGraph |
graph
The graph being analysed. |
protected Map |
unitToBeforeFlow
Maps graph nodes to IN sets. |
Constructor Summary | |
AbstractFlowAnalysis(DirectedGraph graph)
Constructs a flow analysis on the given DirectedGraph . |
Method Summary | |
protected abstract void |
copy(Object source,
Object dest)
Creates a copy of the source flow object in dest . |
protected void |
customizeInitialFlowGraph()
We hereby retract the API for customizeInitialFlowGraph(). |
protected abstract void |
doAnalysis()
Carries out the actual flow analysis. |
protected abstract Object |
entryInitialFlow()
Returns the initial flow value for entry/exit graph nodes. |
Object |
getFlowBefore(Object s)
Accessor function returning value of IN set for s. |
protected abstract boolean |
isForward()
Returns true if this analysis is forwards. |
protected void |
merge(Object inout,
Object in)
|
protected abstract void |
merge(Object in1,
Object in2,
Object out)
Compute the merge of the in1 and in2 sets, putting the result into out . |
protected abstract Object |
newInitialFlow()
Returns the flow object corresponding to the initial values for each graph node. |
protected boolean |
treatTrapHandlersAsEntries()
Determines whether entryInitialFlow()
is applied to trap handlers. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected Map unitToBeforeFlow
protected Map filterUnitToBeforeFlow
protected DirectedGraph graph
Constructor Detail |
public AbstractFlowAnalysis(DirectedGraph graph)
DirectedGraph
.
Method Detail |
protected abstract Object newInitialFlow()
protected abstract Object entryInitialFlow()
protected final void customizeInitialFlowGraph()
protected boolean treatTrapHandlersAsEntries()
entryInitialFlow()
is applied to trap handlers.
protected abstract boolean isForward()
protected abstract void merge(Object in1, Object in2, Object out)
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.
protected abstract void copy(Object source, Object dest)
source
flow object in dest
.
protected abstract void doAnalysis()
public Object getFlowBefore(Object s)
protected void merge(Object inout, Object in)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |