Package soot.jimple.toolkits.thread.mhp
Class UnsynchronizedMhpAnalysis
- java.lang.Object
-
- soot.jimple.toolkits.thread.mhp.SynchObliviousMhpAnalysis
-
- soot.jimple.toolkits.thread.mhp.UnsynchronizedMhpAnalysis
-
@Deprecated public class UnsynchronizedMhpAnalysis extends SynchObliviousMhpAnalysis
Deprecated.This class has been added to maintain compatibility while it is being renamed toSynchObliviousMhpAnalysis. Use that instead!
-
-
Constructor Summary
Constructors Constructor Description UnsynchronizedMhpAnalysis()Deprecated.
-
Method Summary
-
Methods inherited from class soot.jimple.toolkits.thread.mhp.SynchObliviousMhpAnalysis
buildThreadList, getThreadClassList, getThreads, mayHappenInParallel, mayHappenInParallel, printMhpSummary, run
-
-