Class AstCallGraph.ScriptFakeRoot

java.lang.Object

com.ibm.wala.classLoader.SyntheticMethod

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

com.ibm.wala.cast.ipa.callgraph.AstCallGraph.AstFakeRoot

com.ibm.wala.cast.ipa.callgraph.AstCallGraph.ScriptFakeRoot

All Implemented Interfaces:

IMember, IMethod, ContextItem, IClassHierarchyDweller

Direct Known Subclasses:

CrossLanguageCallGraph.CrossLanguageFakeRoot, JSCallGraph.JSFakeRoot

Enclosing class:

AstCallGraph

public abstract static class AstCallGraph.ScriptFakeRoot
extends AstCallGraph.AstFakeRoot

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 inherited from class AbstractRootMethod

cache, cha, insts, nextLocal, statements

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 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
ScriptFakeRoot(MethodReference rootMethod, IClass declaringClass, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)
ScriptFakeRoot(MethodReference rootMethod, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
SSANewInstruction	addAllocation(TypeReference T)	Add a New statement of the given type
abstract SSAAbstractInvokeInstruction	addDirectCall(int functionVn, int[] argVns, CallSiteReference callSite)

Methods inherited from class AstCallGraph.AstFakeRoot

addGlobalRead, makeControlFlowGraph

Modifier and Type	Method	Description
AstLexicalRead	addGlobalRead(TypeReference type, String name)
InducedCFG	makeControlFlowGraph(SSAInstruction[] statements)	Create an InducedCFG from an instruction array.

Methods inherited from class AbstractRootMethod

add1DArrayAllocation, addAllocationWithoutCtor, addCheckcast, addGetArrayField, addGetInstance, addGetStatic, addInvocation, addLocal, addPhi, addReturn, addSetArrayField, addSetInstance, addSetStatic, getInterpreter, getStatements, getValueNumberForByteConstant, getValueNumberForCharConstant, getValueNumberForIntConstant, makeIR

Modifier and Type	Method	Description
SSANewInstruction	add1DArrayAllocation(TypeReference T, int length)	Add a New statement of the given array type and length
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 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, 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()
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()
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()

Constructor Details

ScriptFakeRoot

public ScriptFakeRoot(MethodReference rootMethod,
 IClass declaringClass,
 IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

ScriptFakeRoot

public ScriptFakeRoot(MethodReference rootMethod,
 IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

addDirectCall

public abstract SSAAbstractInvokeInstruction addDirectCall(int functionVn,
 int[] argVns,
 CallSiteReference callSite)

addAllocation

public SSANewInstruction addAllocation(TypeReference T)

Description copied from class: AbstractRootMethod

Add a New statement of the given type

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

Overrides:

addAllocation in class AbstractRootMethod

Returns:

instruction added, or null