soot.jimple.spark.ondemand.pautil

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 java.lang.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 and Description
PointsToSetHandler()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PointsToSetHandler

public PointsToSetHandler()

Method Detail

handleAllocationSite

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

getP2set

public PointsToSetInternal getP2set()

setP2set

public void setP2set(PointsToSetInternal p2set)

resetState

public void resetState()

Specified by:

resetState in interface AllocationSiteHandler

shouldHandle

public boolean shouldHandle(VarNode dst)

Specified by:

shouldHandle in interface AllocationSiteHandler