Class AbstractRootMethod

java.lang.Object

com.ibm.wala.classLoader.SyntheticMethod

com.ibm.wala.ipa.callgraph.impl.AbstractRootMethod

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Direct Known Subclasses:

AstCallGraph.AstFakeRoot, FakeRootMethod, FakeWorldClinitMethod

public abstract class AbstractRootMethod
extends SyntheticMethod

A synthetic method from the FakeRootClass

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Nested classes/interfaces inherited from interface com.ibm.wala.classLoader.IMethod

IMethod.SourcePosition

Field Summary

Fields

Modifier and Type	Field	Description
protected final IAnalysisCacheView	cache
final IClassHierarchy	cha
protected final SSAInstructionFactory	insts
int	nextLocal	The number of the next local value number available for the fake root method.
final ArrayList<SSAInstruction>	statements

Fields inherited from class com.ibm.wala.classLoader.SyntheticMethod

declaringClass, NO_STATEMENTS, resolvedMethod

Constructor Summary

Constructors

Constructor	Description
AbstractRootMethod(MethodReference method, IClass declaringClass, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)
AbstractRootMethod(MethodReference method, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
SSANewInstruction	add1DArrayAllocation(TypeReference T, int length)	Add a New statement of the given array type and length
SSANewInstruction	addAllocation(TypeReference T)	Add a New statement of the given type
SSANewInstruction	addAllocationWithoutCtor(TypeReference T)	Add a New statement of the given type
int	addCheckcast(TypeReference[] types, int rv, boolean isPEI)
int	addGetArrayField(TypeReference elementType, int baseObject, int indexValue)
int	addGetInstance(FieldReference ref, int object)
int	addGetStatic(FieldReference ref)
SSAAbstractInvokeInstruction	addInvocation(int[] params, CallSiteReference site)
int	addLocal()
int	addPhi(int[] values)
SSAReturnInstruction	addReturn(int vn, boolean isPrimitive)	Add a return statement
void	addSetArrayField(TypeReference elementType, int baseObject, int indexValue, int value)
void	addSetInstance(FieldReference ref, int baseObject, int value)
void	addSetStatic(FieldReference ref, int value)
RTAContextInterpreter	getInterpreter()
SSAInstruction[]	getStatements(SSAOptions options)
int	getValueNumberForByteConstant(byte c)
int	getValueNumberForCharConstant(char c)
int	getValueNumberForIntConstant(int c)
IR	makeIR(Context context, SSAOptions options)	Most subclasses should override this.

Methods inherited from class com.ibm.wala.classLoader.SyntheticMethod

equals, getAnnotations, getBytecodeStream, getClassHierarchy, getDeclaredExceptions, getDeclaringClass, getDescriptor, getLineNumber, getLocalVariableName, getMaxLocals, getMaxStackHeight, getName, getNumberOfParameters, getParameterSourcePosition, getParameterType, getPoison, getPoisonLevel, getReference, getReturnType, getSelector, getSignature, getSourcePosition, getStatements, hasExceptionHandler, hashCode, hasLocalVariableTable, hasPoison, isAbstract, isAnnotation, isBridge, isClinit, isEnum, isFactoryMethod, isFinal, isInit, isModule, isNative, isPrivate, isProtected, isPublic, isStatic, isSynchronized, isSynthetic, isWalaSynthetic, makeControlFlowGraph, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.classLoader.IMethod

getNumberOfDefaultParameters

Field Details

statements

public final ArrayList<SSAInstruction> statements

nextLocal

public int nextLocal

The number of the next local value number available for the fake root method. Note that we reserve value number 1 to represent the value "any exception caught by the root method"

cha

public final IClassHierarchy cha

cache

protected final IAnalysisCacheView cache

insts

protected final SSAInstructionFactory insts

Constructor Details

AbstractRootMethod

public AbstractRootMethod(MethodReference method,
 IClass declaringClass,
 IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

AbstractRootMethod

public AbstractRootMethod(MethodReference method,
 IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

getStatements

public SSAInstruction[] getStatements(SSAOptions options)

Overrides:

getStatements in class SyntheticMethod

See Also:

• SyntheticMethod.getStatements()

makeIR

public IR makeIR(Context context,
 SSAOptions options)

Description copied from class: SyntheticMethod

Most subclasses should override this.

Overrides:

makeIR in class SyntheticMethod

Parameters:

context - TODO

options - options governing IR conversion

addLocal

public int addLocal()

addInvocation

public SSAAbstractInvokeInstruction addInvocation(int[] params,
 CallSiteReference site)

Returns:

the invoke instructions added by this operation

Throws:

IllegalArgumentException - if site is null

addReturn

public SSAReturnInstruction addReturn(int vn,
 boolean isPrimitive)

Add a return statement

addAllocation

public SSANewInstruction addAllocation(TypeReference T)

Add a New statement of the given type

Side effect: adds call to default constructor of given type if one exists.

Returns:

instruction added, or null

Throws:

IllegalArgumentException - if T is null

add1DArrayAllocation

public SSANewInstruction add1DArrayAllocation(TypeReference T,
 int length)

Add a New statement of the given array type and length

addAllocationWithoutCtor

public SSANewInstruction addAllocationWithoutCtor(TypeReference T)

Add a New statement of the given type

getValueNumberForIntConstant

public int getValueNumberForIntConstant(int c)

getValueNumberForByteConstant

public int getValueNumberForByteConstant(byte c)

getValueNumberForCharConstant

public int getValueNumberForCharConstant(char c)

addPhi

public int addPhi(int[] values)

addGetInstance

public int addGetInstance(FieldReference ref,
 int object)

addGetStatic

public int addGetStatic(FieldReference ref)

addCheckcast

public int addCheckcast(TypeReference[] types,
 int rv,
 boolean isPEI)

addSetInstance

public void addSetInstance(FieldReference ref,
 int baseObject,
 int value)

addSetStatic

public void addSetStatic(FieldReference ref,
 int value)

addSetArrayField

public void addSetArrayField(TypeReference elementType,
 int baseObject,
 int indexValue,
 int value)

addGetArrayField

public int addGetArrayField(TypeReference elementType,
 int baseObject,
 int indexValue)

getInterpreter

public RTAContextInterpreter getInterpreter()