soot.jimple.spark.ondemand.pautil
Class AllocationSiteHandler.CastCheckHandler

java.lang.Object
  soot.jimple.spark.ondemand.pautil.AllocationSiteHandler.CastCheckHandler

All Implemented Interfaces:

AllocationSiteHandler

Enclosing interface:

AllocationSiteHandler

public static class AllocationSiteHandler.CastCheckHandler
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

AllocationSiteHandler.CastCheckHandler()

Method Summary

boolean	handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack) handle a particular allocation site
void	resetState()
void	setManager(TypeManager manager)
void	setType(Type type)
boolean	shouldHandle(VarNode dst)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AllocationSiteHandler.CastCheckHandler

public AllocationSiteHandler.CastCheckHandler()

Method Detail

handleAllocationSite

public boolean handleAllocationSite(AllocNode allocNode,
                                    ImmutableStack<Integer> callStack)

Description copied from interface: AllocationSiteHandler

handle a particular allocation site

Specified by:

handleAllocationSite in interface AllocationSiteHandler

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

setManager

public void setManager(TypeManager manager)

setType

public void setType(Type type)

resetState

public void resetState()

Specified by:

resetState in interface AllocationSiteHandler

shouldHandle

public boolean shouldHandle(VarNode dst)

Specified by:

shouldHandle in interface AllocationSiteHandler