soot.jimple.toolkits.thread.mhp
Class MonitorAnalysis
java.lang.Object
soot.toolkits.scalar.AbstractFlowAnalysis<N,A>
soot.toolkits.scalar.FlowAnalysis<N,A>
soot.toolkits.scalar.ForwardFlowAnalysis
soot.jimple.toolkits.thread.mhp.MonitorAnalysis
public class MonitorAnalysis
- extends ForwardFlowAnalysis
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MonitorAnalysis
public MonitorAnalysis(PegGraph g)
doAnalysis
protected void doAnalysis()
- Description copied from class:
AbstractFlowAnalysis
- Carries out the actual flow analysis.
Typically called from a concrete FlowAnalysis's constructor.
- Overrides:
doAnalysis
in class ForwardFlowAnalysis
merge
protected void merge(Object in1,
Object in2,
Object out)
- Description copied from class:
AbstractFlowAnalysis
- Compute the merge of the
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.
- Specified by:
merge
in class AbstractFlowAnalysis
flowThrough
protected void flowThrough(Object inValue,
Object unit,
Object outValue)
- Description copied from class:
FlowAnalysis
- Given the merge of the
out
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).
- Specified by:
flowThrough
in class FlowAnalysis
copy
protected void copy(Object source,
Object dest)
- Description copied from class:
AbstractFlowAnalysis
- Creates a copy of the
source
flow object in dest
.
- Specified by:
copy
in class AbstractFlowAnalysis
entryInitialFlow
protected Object entryInitialFlow()
- Description copied from class:
AbstractFlowAnalysis
- Returns the initial flow value for entry/exit graph nodes.
- Specified by:
entryInitialFlow
in class AbstractFlowAnalysis
newInitialFlow
protected Object newInitialFlow()
- Description copied from class:
AbstractFlowAnalysis
- Returns the flow object corresponding to the initial values for
each graph node.
- Specified by:
newInitialFlow
in class AbstractFlowAnalysis
computeSynchNodes
public void computeSynchNodes()
getMonitor
public Map<String,FlowSet> getMonitor()
testMonitor
public void testMonitor()