Class AbstractReflectionInterpreter.SpecializedMethod

java.lang.Object

com.ibm.wala.classLoader.SyntheticMethod

com.ibm.wala.analysis.reflection.AbstractReflectionInterpreter.SpecializedMethod

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Direct Known Subclasses:

FactoryBypassInterpreter.SpecializedFactoryMethod

Enclosing class:

AbstractReflectionInterpreter

protected class AbstractReflectionInterpreter.SpecializedMethod
extends SyntheticMethod

Nested Class Summary

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Modifier and Type	Interface	Description
static class	ContextItem.Value<T>

Nested classes/interfaces inherited from interface IMethod

IMethod.SourcePosition

Modifier and Type	Interface	Description
static interface	IMethod.SourcePosition

Field Summary

Fields

Modifier and Type	Field	Description
protected final ArrayList<SSAInstruction>	allInstructions	List of all instructions
protected final ArrayList<SSAInstruction>	allocations	List of synthetic allocation statements we model for this specialized instance
protected final ArrayList<SSAInstruction>	calls	List of synthetic invoke instructions we model for this specialized instance.
protected final HashSet<TypeReference>	typesAllocated	Set of types that we have already inserted an allocation for.

Fields inherited from class SyntheticMethod

declaringClass, NO_STATEMENTS, resolvedMethod

Modifier and Type	Field	Description
final IClass	declaringClass
static final SSAInstruction[]	NO_STATEMENTS
protected final IMethod	resolvedMethod

Constructor Summary

Constructors

Constructor	Description
SpecializedMethod(IMethod method, IClass declaringClass, boolean isStatic, boolean isFactory)
SpecializedMethod(MethodReference method, IClass declaringClass, boolean isStatic, boolean isFactory)

Method Summary

Modifier and Type	Method	Description
protected void	addCtorInvokeInstruction(TypeReference t, int alloc)	Add an instruction to invoke the default constructor on the object of value number alloc of type t.
protected void	addInstruction(TypeReference T, SSAInstruction instr, boolean isAllocation)
protected int	addStatementsForConcreteSimpleType(TypeReference t)

Methods inherited from class SyntheticMethod

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

Modifier and Type	Method	Description
boolean	equals(Object obj)
Collection<Annotation>	getAnnotations()	Get the annotations on this member, if any
BytecodeStream	getBytecodeStream()
IClassHierarchy	getClassHierarchy()
TypeReference[]	getDeclaredExceptions()
IClass	getDeclaringClass()	Return the object that represents the declaring class for this member.
Descriptor	getDescriptor()	something like: (IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;
int	getLineNumber(int bcIndex)
String	getLocalVariableName(int bcIndex, int localNumber)
int	getMaxLocals()
int	getMaxStackHeight()
Atom	getName()
int	getNumberOfParameters()	Method getNumberOfParameters.
IMethod.SourcePosition	getParameterSourcePosition(int paramNum)
TypeReference	getParameterType(int i)	By convention, for a non-static method, getParameterType(0) is the this pointer
String	getPoison()
byte	getPoisonLevel()
MethodReference	getReference()
TypeReference	getReturnType()
Selector	getSelector()	something like: foo(Ljava/langString;)Ljava/lang/Class;
String	getSignature()	something like: com.foo.bar.createLargeOrder(IILjava.lang.String;SLjava.sql.Date;)Ljava.lang.Integer;
IMethod.SourcePosition	getSourcePosition(int bcIndex)
SSAInstruction[]	getStatements()
SSAInstruction[]	getStatements(SSAOptions options)	Deprecated.
boolean	hasExceptionHandler()
int	hashCode()
boolean	hasLocalVariableTable()
boolean	hasPoison()
boolean	isAbstract()	Is this method abstract?
boolean	isAnnotation()
boolean	isBridge()	Is this method a bridge method? See JLS 3rd Edition 15.12.4.5
boolean	isClinit()	Is this method a class initializer?
boolean	isEnum()
boolean	isFactoryMethod()
boolean	isFinal()	Is this method final?
boolean	isInit()	Is this method an object initializer?
boolean	isModule()
boolean	isNative()	Is this method native?
boolean	isPrivate()	Is this method private?
boolean	isProtected()	Is this method protected?
boolean	isPublic()	Is this method public?
boolean	isStatic()	Is this member static?
boolean	isSynchronized()	Is this method synchronized?
boolean	isSynthetic()	Is this method synthetic, i.e., compiler-generated (this refers to the synthetic flag in java/dex bytecode)
boolean	isWalaSynthetic()	Is the implementation of this method a model generated by WALA? For compiler-generated synthetic methods, refer to IMethod.isSynthetic()
InducedCFG	makeControlFlowGraph(SSAInstruction[] instructions)	Create an InducedCFG from an instruction array.
IR	makeIR(Context context, SSAOptions options)	Most subclasses should override this.
String	toString()

Methods inherited from class Object

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

Methods inherited from interface IMethod

getNumberOfDefaultParameters

Modifier and Type	Method	Description
default int	getNumberOfDefaultParameters()

Field Details

typesAllocated

protected final HashSet<TypeReference> typesAllocated

Set of types that we have already inserted an allocation for.

allocations

protected final ArrayList<SSAInstruction> allocations

List of synthetic allocation statements we model for this specialized instance

calls

protected final ArrayList<SSAInstruction> calls

List of synthetic invoke instructions we model for this specialized instance.

allInstructions

protected final ArrayList<SSAInstruction> allInstructions

List of all instructions

Constructor Details

SpecializedMethod

public SpecializedMethod(MethodReference method,
 IClass declaringClass,
 boolean isStatic,
 boolean isFactory)

SpecializedMethod

public SpecializedMethod(IMethod method,
 IClass declaringClass,
 boolean isStatic,
 boolean isFactory)

Method Details

addInstruction

protected void addInstruction(TypeReference T,
 SSAInstruction instr,
 boolean isAllocation)

Parameters:

T - type allocated by the instruction.

addStatementsForConcreteSimpleType

protected int addStatementsForConcreteSimpleType(TypeReference t)

Parameters:

t - type of object to allocate

Returns:

value number of the newly allocated object

addCtorInvokeInstruction

protected void addCtorInvokeInstruction(TypeReference t,
 int alloc)

Add an instruction to invoke the default constructor on the object of value number alloc of type t.