soot.jimple.spark.ondemand.pautil
Class AllocationSiteHandler.VirtualCallHandler
java.lang.Object
soot.jimple.spark.ondemand.pautil.AllocationSiteHandler.VirtualCallHandler
- All Implemented Interfaces:
- AllocationSiteHandler
- Enclosing interface:
- AllocationSiteHandler
public static class AllocationSiteHandler.VirtualCallHandler
- extends Object
- implements AllocationSiteHandler
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pag
public PAG pag
receiverType
public Type receiverType
methodStr
public NumberedString methodStr
possibleMethods
public Set<SootMethod> possibleMethods
AllocationSiteHandler.VirtualCallHandler
public AllocationSiteHandler.VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr)
- Parameters:
pag - receiverType - methodName - parameterTypes - returnType -
handleAllocationSite
public boolean handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack)
- Description copied from interface:
AllocationSiteHandler
- handle a particular allocation site
- Specified by:
handleAllocationSite in interface AllocationSiteHandler
- Parameters:
allocNode - the abstract location nodecallStack - for context-sensitive analysis, the call site; might be null
- Returns:
- true if analysis should be terminated; false otherwise
resetState
public void resetState()
- Specified by:
resetState in interface AllocationSiteHandler
shouldHandle
public boolean shouldHandle(VarNode dst)
- Specified by:
shouldHandle in interface AllocationSiteHandler