soot.jimple.toolkits.thread.mhp

Class UnsynchronizedMhpAnalysis

java.lang.Object

soot.jimple.toolkits.thread.mhp.SynchObliviousMhpAnalysis

soot.jimple.toolkits.thread.mhp.UnsynchronizedMhpAnalysis

All Implemented Interfaces:

java.lang.Runnable, MhpTester

Deprecated.

This class has been added to maintain compatibility while it is being renamed to SynchObliviousMhpAnalysis. Use that instead!

@Deprecated
public class UnsynchronizedMhpAnalysis
extends SynchObliviousMhpAnalysis

Constructor Summary

Constructors

Constructor and Description
UnsynchronizedMhpAnalysis() Deprecated.

Method Summary

Methods inherited from class soot.jimple.toolkits.thread.mhp.SynchObliviousMhpAnalysis

buildThreadList, getThreadClassList, getThreads, mayHappenInParallel, mayHappenInParallel, printMhpSummary, run

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnsynchronizedMhpAnalysis

public UnsynchronizedMhpAnalysis()

Deprecated.