soot.jimple.spark.ondemand.pautil

Class AllocationSiteHandler.VirtualCallHandler

java.lang.Object

soot.jimple.spark.ondemand.pautil.AllocationSiteHandler.VirtualCallHandler

All Implemented Interfaces:

AllocationSiteHandler

Enclosing interface:

AllocationSiteHandler

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

Field Summary

Fields

Modifier and Type	Field and Description
NumberedString	methodStr
PAG	pag
Set<SootMethod>	possibleMethods
Type	receiverType

Constructor Summary

Constructors

Constructor and Description
VirtualCallHandler(PAG pag, Type receiverType, NumberedString methodStr)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

pag

public PAG pag

receiverType

public Type receiverType

methodStr

public NumberedString methodStr

possibleMethods

public Set<SootMethod> possibleMethods

Constructor Detail

VirtualCallHandler

public VirtualCallHandler(PAG pag,
                          Type receiverType,
                          NumberedString methodStr)

Parameters:

pag -

receiverType -

methodName -

parameterTypes -

returnType -

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

resetState

public void resetState()

Specified by:

resetState in interface AllocationSiteHandler

shouldHandle

public boolean shouldHandle(VarNode dst)

Specified by:

shouldHandle in interface AllocationSiteHandler