Package com.tonic.analysis.pdg.node

Class PDGInstructionNode

java.lang.Object

com.tonic.analysis.pdg.node.PDGNode

com.tonic.analysis.pdg.node.PDGInstructionNode

public class PDGInstructionNode
extends PDGNode

A PDG node standing for a single IR instruction, typed PHI for phis and INSTRUCTION otherwise.

Constructor Summary

Constructors

Constructor	Description
PDGInstructionNode(int id, IRInstruction instruction, IRBlock block, int instructionIndex)	Creates a node for an instruction, deriving its node type from whether the instruction is a phi.

Method Summary

Modifier and Type	Method	Description
SSAValue	getDefinedValue()
IRInstruction	getInstruction()
int	getInstructionIndex()
String	getLabel()
List<Value>	getUsedValues()
boolean	hasResult()
boolean	isPhi()
boolean	isTerminator()
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

PDGInstructionNode

public PDGInstructionNode(int id,
                          IRInstruction instruction,
                          IRBlock block,
                          int instructionIndex)

Creates a node for an instruction, deriving its node type from whether the instruction is a phi.

Parameters:

id - the graph-unique node id

instruction - the instruction represented

block - the block containing the instruction

instructionIndex - the position within the block, counting phis first

Method Detail

getInstruction

public IRInstruction getInstruction()

Returns:

the instruction

getInstructionIndex

public int getInstructionIndex()

Returns:

the instruction index

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

isPhi

public boolean isPhi()

Returns:

true if the instruction is a phi

isTerminator

public boolean isTerminator()

Returns:

true if the instruction ends its block

hasResult

public boolean hasResult()

Returns:

true if the instruction defines a value

toString

public String toString()

Overrides:

toString in class PDGNode