Package com.tonic.analysis.pdg.sdg.node

Class SDGCallNode

java.lang.Object

com.tonic.analysis.pdg.node.PDGNode

com.tonic.analysis.pdg.sdg.node.SDGCallNode

public class SDGCallNode
extends PDGNode

System dependence graph node for a call site, holding the actual-in nodes for its arguments, an optional actual-out node, and a link to the callee entry once resolved.

Constructor Summary

Constructors

Constructor	Description
SDGCallNode(int id, InvokeInstruction invokeInstruction, CallSite callSite, IRBlock block)	Creates a call-site node with no actual-in, actual-out or callee link yet.

Method Summary

Modifier and Type	Method	Description
void	addActualIn(SDGActualInNode actualIn)	Appends an argument node; no check is made for a duplicate parameter index.
SDGActualInNode	getActualIn(int parameterIndex)	Looks up an attached actual-in node by the parameter position it feeds.
int	getActualInCount()
List<SDGActualInNode>	getActualIns()
SDGActualOutNode	getActualOut()
CallSite	getCallSite()
SSAValue	getDefinedValue()
InvokeInstruction	getInvokeInstruction()
String	getLabel()
String	getTargetDescriptor()
SDGEntryNode	getTargetEntry()
String	getTargetName()
String	getTargetOwner()
List<Value>	getUsedValues()
boolean	hasActualOut()
boolean	hasTargetEntry()
void	setActualOut(SDGActualOutNode actualOut)	Attaches the node standing for the value this call returns.
void	setTargetEntry(SDGEntryNode targetEntry)	Links this call to the entry node of the resolved callee.
String	toString()

Methods inherited from class com.tonic.analysis.pdg.node.PDGNode

addIncomingEdge, addOutgoingEdge, equals, getBlock, getControlDependenceEdges, getDataDependenceEdges, getId, getIncomingEdges, getInDegree, getOutDegree, getOutgoingEdges, getPredecessors, getSuccessors, getTaintLabel, getType, hashCode, hasIncomingEdges, hasOutgoingEdges, isTainted, removeIncomingEdge, removeOutgoingEdge, setBlock, setTainted, setTaintLabel

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SDGCallNode

public SDGCallNode(int id,
                   InvokeInstruction invokeInstruction,
                   CallSite callSite,
                   IRBlock block)

Creates a call-site node with no actual-in, actual-out or callee link yet.

Parameters:

id - node id

invokeInstruction - the invoke this node stands for

callSite - call graph entry for the same invoke

block - block containing the invoke

Method Detail

getInvokeInstruction

public InvokeInstruction getInvokeInstruction()

Returns:

the invoke instruction

getCallSite

public CallSite getCallSite()

Returns:

the call site

getActualOut

public SDGActualOutNode getActualOut()

Returns:

the actual out

setActualOut

public void setActualOut(SDGActualOutNode actualOut)

Attaches the node standing for the value this call returns.

Parameters:

actualOut - actual-out node, or null for a void call

getTargetEntry

public SDGEntryNode getTargetEntry()

Returns:

the target entry

setTargetEntry

public void setTargetEntry(SDGEntryNode targetEntry)

Links this call to the entry node of the resolved callee.

Parameters:

targetEntry - callee entry node

addActualIn

public void addActualIn(SDGActualInNode actualIn)

Appends an argument node; no check is made for a duplicate parameter index.

Parameters:

actualIn - node for one argument of this call

getActualIn

public SDGActualInNode getActualIn(int parameterIndex)

Looks up an attached actual-in node by the parameter position it feeds.

Parameters:

parameterIndex - parameter position to find

Returns:

the matching node, or null if none was added for that position

getActualInCount

public int getActualInCount()

Returns:

the number of actual-in nodes attached

getActualIns

public List<SDGActualInNode> getActualIns()

Returns:

an unmodifiable view of the actual-in nodes in the order they were added

hasActualOut

public boolean hasActualOut()

Returns:

true if the call has a node for its returned value

hasTargetEntry

public boolean hasTargetEntry()

Returns:

true once the call has been linked to a callee entry node

getTargetOwner

public String getTargetOwner()

Returns:

the owner of the invoked method

getTargetName

public String getTargetName()

Returns:

the name of the invoked method

getTargetDescriptor

public String getTargetDescriptor()

Returns:

the descriptor of the invoked method

getLabel

public String getLabel()

Specified by:

getLabel in class PDGNode

Returns:

a short human-readable description of what this node represents

getUsedValues

public List<Value> getUsedValues()

Specified by:

getUsedValues in class PDGNode

Returns:

the values this node reads

getDefinedValue

public SSAValue getDefinedValue()

Specified by:

getDefinedValue in class PDGNode

Returns:

the value this node defines, or null if it defines none

toString

public String toString()

Overrides:

toString in class PDGNode