soot.jimple.spark.ondemand.pautil
Interface AllocationSiteHandler
- All Known Implementing Classes:
- AllocationSiteHandler.CastCheckHandler, AllocationSiteHandler.PointsToSetHandler, AllocationSiteHandler.VirtualCallHandler
public interface AllocationSiteHandler
Interface for handler for when an allocation site is encountered in a pointer
analysis query.
- Author:
- manu
handleAllocationSite
boolean handleAllocationSite(AllocNode allocNode,
ImmutableStack<Integer> callStack)
- handle a particular allocation site
- 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
void resetState()
shouldHandle
boolean shouldHandle(VarNode dst)