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
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface soot.jimple.spark.ondemand.pautil.AllocationSiteHandler
AllocationSiteHandler.CastCheckHandler, AllocationSiteHandler.PointsToSetHandler, AllocationSiteHandler.VirtualCallHandler
-
-
Constructor Summary
Constructors Constructor Description PointsToSetHandler()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PointsToSetInternalgetP2set()booleanhandleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)handle a particular allocation sitevoidresetState()voidsetP2set(PointsToSetInternal p2set)booleanshouldHandle(VarNode dst)
-
-
-
Method Detail
-
handleAllocationSite
public boolean handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
Description copied from interface:AllocationSiteHandlerhandle a particular allocation site- Specified by:
handleAllocationSitein interfaceAllocationSiteHandler- 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:
resetStatein interfaceAllocationSiteHandler
-
shouldHandle
public boolean shouldHandle(VarNode dst)
- Specified by:
shouldHandlein interfaceAllocationSiteHandler
-
-