soot.jimple.spark.ondemand.pautil
Class AllocationSiteHandler.PointsToSetHandler
java.lang.Object
soot.jimple.spark.ondemand.pautil.AllocationSiteHandler.PointsToSetHandler
- All Implemented Interfaces:
- AllocationSiteHandler
- Enclosing interface:
- AllocationSiteHandler
public static class AllocationSiteHandler.PointsToSetHandler
- extends Object
- implements AllocationSiteHandler
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AllocationSiteHandler.PointsToSetHandler
public AllocationSiteHandler.PointsToSetHandler()
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
getP2set
public PointsToSetInternal getP2set()
setP2set
public void setP2set(PointsToSetInternal p2set)
resetState
public void resetState()
- Specified by:
resetState
in interface AllocationSiteHandler
shouldHandle
public boolean shouldHandle(VarNode dst)
- Specified by:
shouldHandle
in interface AllocationSiteHandler