soot.jimple.toolkits.thread.mhp
Class MhpTransformer
java.lang.Object
soot.Transformer
soot.SceneTransformer
soot.jimple.toolkits.thread.mhp.MhpTransformer
public class MhpTransformer
- extends SceneTransformer
Method Summary |
protected static PegGraph |
buildPeg(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set<Object> methodsNeedingInlining,
Set<AllocNode> allocNodes,
List inlineSites,
Map synchObj,
Set<AllocNode> multiRunAllocNodes,
Map allocNodeToObj,
Body body,
SootMethod sm)
|
MhpTester |
getMhpTester()
|
protected void |
internalTransform(String phaseName,
Map options)
Performs the transformation on the Scene, under the given phaseName and with the given Options. |
void |
setMhpTester(MhpTester mhpTester)
|
static MhpTransformer |
v()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MhpTransformer
public MhpTransformer(Singletons.Global g)
v
public static MhpTransformer v()
internalTransform
protected void internalTransform(String phaseName,
Map options)
- Description copied from class:
SceneTransformer
- Performs the transformation on the Scene, under the given phaseName and with the given Options.
- Specified by:
internalTransform
in class SceneTransformer
buildPeg
protected static PegGraph buildPeg(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set<Object> methodsNeedingInlining,
Set<AllocNode> allocNodes,
List inlineSites,
Map synchObj,
Set<AllocNode> multiRunAllocNodes,
Map allocNodeToObj,
Body body,
SootMethod sm)
getMhpTester
public MhpTester getMhpTester()
setMhpTester
public void setMhpTester(MhpTester mhpTester)