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()