Package qilin.pta.toolkits.zipper.analysis

Class PotentialContextElement

java.lang.Object

qilin.pta.toolkits.zipper.analysis.PotentialContextElement

public class PotentialContextElement
extends Object

For each object o, this class compute the set of methods which o could potentially be their context element.

Conversely, for each method m, this class compute the set of objects which could potentially be its context element.

Method Summary

Modifier and Type	Method	Description
Set<AllocNode>	allocateesOf(Type type)
Set<SootMethod>	methodsInvokedOn(AllocNode obj)
Set<SootMethod>	PCEMethodsOf(AllocNode obj)
Set<SootMethod>	PCEMethodsOf(Type type)

Methods inherited from class java.lang.Object

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

Method Details

PCEMethodsOf

public Set<SootMethod> PCEMethodsOf(AllocNode obj)

PCEMethodsOf

public Set<SootMethod> PCEMethodsOf(Type type)

Parameters:

type -

Returns:

PCE methods of the objects of given type.

allocateesOf

public Set<AllocNode> allocateesOf(Type type)

methodsInvokedOn

public Set<SootMethod> methodsInvokedOn(AllocNode obj)