Class SyntheticIR

java.lang.Object

com.ibm.wala.ssa.IR

com.ibm.wala.ipa.summaries.SyntheticIR

All Implemented Interfaces:

IRView

Direct Known Subclasses:

SummarizedMethodWithNames.SyntheticIRWithNames

public class SyntheticIR
extends IR

Nested Class Summary

Nested classes/interfaces inherited from class IR

IR.SSA2LocalMap

Modifier and Type	Class	Description
static interface	IR.SSA2LocalMap	A Map that gives the names of the local variables corresponding to SSA value numbers at particular IR instruction indices, if such information is available from source code mapping.

Constructor Summary

Constructors

Constructor	Description
SyntheticIR(IMethod method, Context context, AbstractCFG<?,?> cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer, @NonNull ConstantValue> constants)	Create an SSA form, induced over a list of instructions provided externally.

Method Summary

Modifier and Type	Method	Description
protected SSAIndirectionData<SSAIndirectionData.Name>	getIndirectionData()	subclasses must provide information about indirect use of values, if appropriate, and otherwise null
IR.SSA2LocalMap	getLocalMap()	This returns null, as synthetic IRs have no local names right now.
protected String	instructionPosition(int instructionIndex)	This returns "", as synthetic IRs have no line numbers right now.

Methods inherited from class IR

getBasicBlockForCatch, getBasicBlockForInstruction, getBasicBlocksForCall, getBlocks, getCallInstructionIndices, getCalls, getControlFlowGraph, getExitBlock, getInstructions, getLocalNames, getMethod, getNew, getNewInstructionIndex, getNumberOfParameters, getOptions, getParameter, getParameterType, getParameterValueNumbers, getPEI, getSymbolTable, isEmptyIR, iterateAllInstructions, iterateCallSites, iterateCatchInstructions, iterateNewSites, iterateNormalInstructions, iteratePhis, iteratePis, setupLocationMap, toString, visitAllInstructions, visitNormalInstructions

Modifier and Type	Method	Description
ISSABasicBlock	getBasicBlockForCatch(SSAGetCaughtExceptionInstruction instruction)	Return the ISSABasicBlock corresponding to a particular catch instruction
ISSABasicBlock	getBasicBlockForInstruction(SSAInstruction s)	This is space-inefficient.
ISSABasicBlock[]	getBasicBlocksForCall(CallSiteReference site)
Iterator<ISSABasicBlock>	getBlocks()
IntSet	getCallInstructionIndices(CallSiteReference site)	Return the instruction indices corresponding to a call site.
SSAAbstractInvokeInstruction[]	getCalls(CallSiteReference site)	Return the invoke instructions corresponding to a call site
SSACFG	getControlFlowGraph()
SSACFG.BasicBlock	getExitBlock()
SSAInstruction[]	getInstructions()	Returns the normal instructions.
String[]	getLocalNames(int index, int vn)
IMethod	getMethod()
SSANewInstruction	getNew(NewSiteReference site)	Return the new instruction corresponding to an allocation site
int	getNewInstructionIndex(NewSiteReference site)	Return the instruction index corresponding to an allocation site
int	getNumberOfParameters()
SSAOptions	getOptions()
int	getParameter(int i)
TypeReference	getParameterType(int i)	Get the TypeReference that describes the ith parameter to this method.
int[]	getParameterValueNumbers()
SSAInstruction	getPEI(ProgramCounter pc)
SymbolTable	getSymbolTable()
boolean	isEmptyIR()	TODO: why do we need this? We should enforce instructions == null if necessary, I think.
Iterator<SSAInstruction>	iterateAllInstructions()
Iterator<CallSiteReference>	iterateCallSites()
Iterator<SSAInstruction>	iterateCatchInstructions()
Iterator<NewSiteReference>	iterateNewSites()
Iterator<SSAInstruction>	iterateNormalInstructions()
Iterator<? extends SSAInstruction>	iteratePhis()	Return an Iterator of all SSAPhiInstructions for this IR.
Iterator<? extends SSAInstruction>	iteratePis()	Return an Iterator of all SSAPiInstructions for this IR.
protected void	setupLocationMap()	create mappings from call sites, new sites, and PEIs to instruction index
String	toString()
void	visitAllInstructions(SSAInstruction.IVisitor v)	visit each instruction in this IR
void	visitNormalInstructions(SSAInstruction.IVisitor v)	visit each normal (non-phi, non-pi, non-catch) instruction in this IR

Methods inherited from class Object

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

Constructor Details

SyntheticIR

public SyntheticIR(IMethod method,
 Context context,
 AbstractCFG<?,?> cfg,
 SSAInstruction[] instructions,
 SSAOptions options,
 Map<Integer, @NonNull ConstantValue> constants)
            throws AssertionError

Create an SSA form, induced over a list of instructions provided externally. This entrypoint is often used for, e.g., native method models

Parameters:

method - the method to construct SSA form for

context - the governing context

instructions - the SSA instructions which define the body of the method

constants - a Map giving information on constant values for the symbol table

Throws:

AssertionError - if method is null

Method Details

instructionPosition

protected String instructionPosition(int instructionIndex)

This returns "", as synthetic IRs have no line numbers right now.

Specified by:

instructionPosition in class IR

Returns:

a String which is a readable representation of the instruction position corresponding to an instruction index

getLocalMap

public IR.SSA2LocalMap getLocalMap()

This returns null, as synthetic IRs have no local names right now.

Specified by:

getLocalMap in class IR

getIndirectionData

protected SSAIndirectionData<SSAIndirectionData.Name> getIndirectionData()

Description copied from class: IR

subclasses must provide information about indirect use of values, if appropriate, and otherwise null

Specified by:

getIndirectionData in class IR