Interface AllocationSiteHandler
-
- All Known Implementing Classes:
AllocationSiteHandler.CastCheckHandler,AllocationSiteHandler.PointsToSetHandler,AllocationSiteHandler.VirtualCallHandler
public interface AllocationSiteHandlerInterface for handler for when an allocation site is encountered in a pointer analysis query.- Author:
- manu
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classAllocationSiteHandler.CastCheckHandlerstatic classAllocationSiteHandler.PointsToSetHandlerstatic classAllocationSiteHandler.VirtualCallHandler
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanhandleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)handle a particular allocation sitevoidresetState()booleanshouldHandle(VarNode dst)
-
-
-
Method Detail
-
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)
-
-