Package soot.jimple.toolkits.thread.mhp
-
Interface Summary Interface Description MhpTester MhpTester written by Richard L. -
Class Summary Class Description 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<T> 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 toSynchObliviousMhpAnalysis.