Package soot.jimple.toolkits.thread.mhp

Interface Summary
MhpTester MhpTester written by Richard L.
 

Class Summary
CheckMSet  
CompactSequentNodes  
CompactStronglyConnectedComponents  
Counter  
DfsForBackEdge  
DominatorsFinder  
LoopBodyFinder  
LoopFinder  
MethodExtentBuilder  
MethodInliner  
MhpTransformer  
MonitorAnalysis  
MonitorDepth  
MonitorSet  
PegCallGraphToDot  
PegChain  
PegGraph Oct.
PegToDotFile  
RunMethodsPred A predicate that accepts edges whose targets are runnable.run methods.
SCC  
StartJoinAnalysis  
StartJoinFinder  
SynchObliviousMhpAnalysis UnsynchronizedMhpAnalysis written by Richard L.
TargetMethodsFinder Assembles a list of target methods for a given unit and call graph, filtering out static initializers and optionally native methods.
TopologicalSorter  
UnsynchronizedMhpAnalysis Deprecated. This class has been added to maintain compatibility while it is being renamed to SynchObliviousMhpAnalysis.