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

Nested Class Summary
static class AllocationSiteHandler.CastCheckHandler
           
static class AllocationSiteHandler.PointsToSetHandler
           
static class AllocationSiteHandler.VirtualCallHandler
           
 
Method Summary
 boolean handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
          handle a particular allocation site
 void resetState()
           
 boolean shouldHandle(VarNode dst)
           
 

Method Detail

handleAllocationSite

boolean handleAllocationSite(AllocNode allocNode,
                             ImmutableStack<Integer> callStack)
handle a particular allocation site

Parameters:
allocNode - the abstract location node
callStack - 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)