com.ibm.wala.ssa

Class ShrikeIndirectionData

java.lang.Object

com.ibm.wala.ssa.ShrikeIndirectionData

All Implemented Interfaces:

SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

public class ShrikeIndirectionData
extends java.lang.Object
implements SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

An implementation of SSAIndirectionData specialized for IRs originated from Shrike.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ShrikeIndirectionData.ShrikeLocalName In Shrike, the only "source" level entities which have names relevant to indirect pointer operations are bytecode locals.

Nested classes/interfaces inherited from interface com.ibm.wala.ssa.SSAIndirectionData

SSAIndirectionData.Name

Constructor Summary

Constructors

Constructor and Description
ShrikeIndirectionData(int instructionArrayLength)

Method Summary

Modifier and Type	Method and Description
int	getDef(int instructionIndex, ShrikeIndirectionData.ShrikeLocalName name) For the instruction at the given index, and a source-level name, return the SSA value number which represents this instruction's def of that name.
java.util.Collection<ShrikeIndirectionData.ShrikeLocalName>	getNames() Returns the set of "source" level names (e.g.
int	getUse(int instructionIndex, ShrikeIndirectionData.ShrikeLocalName name) For the instruction at the given index, and a source-level name, return the SSA value number which represents this instruction's use of that name.
void	setDef(int instructionIndex, ShrikeIndirectionData.ShrikeLocalName name, int newDef) Record the fact that a particular instruction defs a particular SSA value number (newDef), representing the value of a "source" entity "name".
void	setUse(int instructionIndex, ShrikeIndirectionData.ShrikeLocalName name, int newUse)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ShrikeIndirectionData

public ShrikeIndirectionData(int instructionArrayLength)

Method Detail

getDef

public int getDef(int instructionIndex,
                  ShrikeIndirectionData.ShrikeLocalName name)

Description copied from interface: SSAIndirectionData

For the instruction at the given index, and a source-level name, return the SSA value number which represents this instruction's def of that name.

For example, in Example B in header comment above, suppose v2 referred to a "source"-entity called "Local1". Since instruction (1) (call to bar) defs "Local1", we introduce in this table a new SSA value number, say v7, which represents the value of "Local1" immediately after this instruction.

Specified by:

getDef in interface SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

getUse

public int getUse(int instructionIndex,
                  ShrikeIndirectionData.ShrikeLocalName name)

Description copied from interface: SSAIndirectionData

For the instruction at the given index, and a source-level name, return the SSA value number which represents this instruction's use of that name.

For example, in Example A in header comment above, suppose v1 referred to a "source"-entity called "Local1". Since instruction (1) (LoadIndirect) uses "Local1", we record in this table the SSA value number that represents "Local1" immediately before instruction (1). So if v1 and v7 both refer to "Local1", then (1) uses v7. If v7 does NOT refer to "Local1", then (1) uses v1.

Specified by:

getUse in interface SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

setDef

public void setDef(int instructionIndex,
                   ShrikeIndirectionData.ShrikeLocalName name,
                   int newDef)

Description copied from interface: SSAIndirectionData

Record the fact that a particular instruction defs a particular SSA value number (newDef), representing the value of a "source" entity "name".

Specified by:

setDef in interface SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

See Also:

SSAIndirectionData.getDef(int, T)

setUse

public void setUse(int instructionIndex,
                   ShrikeIndirectionData.ShrikeLocalName name,
                   int newUse)

Specified by:

setUse in interface SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

See Also:

SSAIndirectionData.getUse(int, T)

getNames

public java.util.Collection<ShrikeIndirectionData.ShrikeLocalName> getNames()

Description copied from interface: SSAIndirectionData

Returns the set of "source" level names (e.g. local variables in bytecode or source code) for which this map holds information.

Specified by:

getNames in interface SSAIndirectionData<ShrikeIndirectionData.ShrikeLocalName>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object