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