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

Nested Classes

Modifier and Type	Interface and Description
static class	AllocationSiteHandler.CastCheckHandler
static class	AllocationSiteHandler.PointsToSetHandler
static class	AllocationSiteHandler.VirtualCallHandler

Method Summary

Methods

Modifier and Type	Method and Description
boolean	handleAllocationSite(AllocNode allocNode, ImmutableStack<java.lang.Integer> callStack) handle a particular allocation site
void	resetState()
boolean	shouldHandle(VarNode dst)

Method Detail

handleAllocationSite

boolean handleAllocationSite(AllocNode allocNode,
                           ImmutableStack<java.lang.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)