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 com.ibm.wala.ssa.IR

IR.SSA2LocalMap

Constructor Summary

Constructors

Constructor	Description
SyntheticIR(IMethod method, Context context, AbstractCFG<?,?> cfg, SSAInstruction[] instructions, SSAOptions options, Map<Integer,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 com.ibm.wala.ssa.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

Methods inherited from class java.lang.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,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