soot.jimple.toolkits.callgraph

Class OnFlyCallGraphBuilder

java.lang.Object

soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder

public final class OnFlyCallGraphBuilder
extends java.lang.Object

Models the call graph.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	OnFlyCallGraphBuilder.DefaultReflectionModel
class	OnFlyCallGraphBuilder.TraceBasedReflectionModel
class	OnFlyCallGraphBuilder.TypeBasedReflectionModel

Field Summary

Fields

Modifier and Type	Field and Description
protected RefType	clAsyncTask
protected RefType	clHandler
protected RefType	clRunnable
protected NumberedString	sigDoInBackground
protected NumberedString	sigExecute
protected NumberedString	sigExecutorExecute
protected NumberedString	sigFinalize
protected NumberedString	sigForName
protected NumberedString	sigHandlerHandleMessage
protected NumberedString	sigHandlerPost
protected NumberedString	sigHandlerPostAtFrontOfQueue
protected NumberedString	sigHandlerPostAtTime
protected NumberedString	sigHandlerPostAtTimeWithToken
protected NumberedString	sigHandlerPostDelayed
protected NumberedString	sigHandlerSendEmptyMessage
protected NumberedString	sigHandlerSendEmptyMessageAtTime
protected NumberedString	sigHandlerSendEmptyMessageDelayed
protected NumberedString	sigHandlerSendMessage
protected NumberedString	sigHandlerSendMessageAtFrontOfQueue
protected NumberedString	sigHandlerSendMessageAtTime
protected NumberedString	sigHandlerSendMessageDelayed
protected NumberedString	sigInit
protected NumberedString	sigObjRun
protected NumberedString	sigRun
protected NumberedString	sigStart

Constructor Summary

Constructors

Constructor and Description
OnFlyCallGraphBuilder(ContextManager cm, ReachableMethods rm)
OnFlyCallGraphBuilder(ContextManager cm, ReachableMethods rm, boolean appOnly)

Method Summary

Modifier and Type	Method and Description
void	addBaseType(Local base, Context context, Type ty)
void	addInvokeArgDotField(Local receiver, AllocDotField dot)
void	addInvokeArgType(AllocDotField df, Context context, Type type)
void	addInvokeArgType(Local argArray, Context context, Type t)
void	addPossibleArgArraySize(Local argArray, int value, Context context)
void	addStringConstant(Local l, Context srcContext, java.lang.String constant)
void	addType(Local receiver, Context srcContext, Type type, Context typeContext)
LargeNumberedMap<SootMethod,java.util.List<Local>>	methodToInvokeArgs()
LargeNumberedMap<SootMethod,java.util.List<Local>>	methodToInvokeBases()
LargeNumberedMap<SootMethod,java.util.List<Local>>	methodToReceivers()
LargeNumberedMap<SootMethod,java.util.List<Local>>	methodToStringConstants()
void	processReachables()
void	setArgArrayNonDetSize(Local argArray, Context context)
boolean	wantArrayField(AllocDotField df)
boolean	wantInvokeArg(Local receiver)
boolean	wantStringConstants(Local stringConst)
boolean	wantTypes(Local receiver)

Methods inherited from class java.lang.Object

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

Field Detail

sigFinalize

protected final NumberedString sigFinalize

sigInit

protected final NumberedString sigInit

sigStart

protected final NumberedString sigStart

sigRun

protected final NumberedString sigRun

sigExecute

protected final NumberedString sigExecute

sigExecutorExecute

protected final NumberedString sigExecutorExecute

sigHandlerPost

protected final NumberedString sigHandlerPost

sigHandlerPostAtFrontOfQueue

protected final NumberedString sigHandlerPostAtFrontOfQueue

sigHandlerPostAtTime

protected final NumberedString sigHandlerPostAtTime

sigHandlerPostAtTimeWithToken

protected final NumberedString sigHandlerPostAtTimeWithToken

sigHandlerPostDelayed

protected final NumberedString sigHandlerPostDelayed

sigHandlerSendEmptyMessage

protected final NumberedString sigHandlerSendEmptyMessage

sigHandlerSendEmptyMessageAtTime

protected final NumberedString sigHandlerSendEmptyMessageAtTime

sigHandlerSendEmptyMessageDelayed

protected final NumberedString sigHandlerSendEmptyMessageDelayed

sigHandlerSendMessage

protected final NumberedString sigHandlerSendMessage

sigHandlerSendMessageAtFrontOfQueue

protected final NumberedString sigHandlerSendMessageAtFrontOfQueue

sigHandlerSendMessageAtTime

protected final NumberedString sigHandlerSendMessageAtTime

sigHandlerSendMessageDelayed

protected final NumberedString sigHandlerSendMessageDelayed

sigHandlerHandleMessage

protected final NumberedString sigHandlerHandleMessage

sigObjRun

protected final NumberedString sigObjRun

sigDoInBackground

protected final NumberedString sigDoInBackground

sigForName

protected final NumberedString sigForName

clRunnable

protected final RefType clRunnable

clAsyncTask

protected final RefType clAsyncTask

clHandler

protected final RefType clHandler

Constructor Detail

OnFlyCallGraphBuilder

public OnFlyCallGraphBuilder(ContextManager cm,
                             ReachableMethods rm)

OnFlyCallGraphBuilder

public OnFlyCallGraphBuilder(ContextManager cm,
                             ReachableMethods rm,
                             boolean appOnly)

Method Detail

methodToReceivers

public LargeNumberedMap<SootMethod,java.util.List<Local>> methodToReceivers()

methodToInvokeArgs

public LargeNumberedMap<SootMethod,java.util.List<Local>> methodToInvokeArgs()

methodToInvokeBases

public LargeNumberedMap<SootMethod,java.util.List<Local>> methodToInvokeBases()

methodToStringConstants

public LargeNumberedMap<SootMethod,java.util.List<Local>> methodToStringConstants()

processReachables

public void processReachables()

wantTypes

public boolean wantTypes(Local receiver)

addBaseType

public void addBaseType(Local base,
                        Context context,
                        Type ty)

addInvokeArgType

public void addInvokeArgType(Local argArray,
                             Context context,
                             Type t)

setArgArrayNonDetSize

public void setArgArrayNonDetSize(Local argArray,
                                  Context context)

addPossibleArgArraySize

public void addPossibleArgArraySize(Local argArray,
                                    int value,
                                    Context context)

addType

public void addType(Local receiver,
                    Context srcContext,
                    Type type,
                    Context typeContext)

wantStringConstants

public boolean wantStringConstants(Local stringConst)

addStringConstant

public void addStringConstant(Local l,
                              Context srcContext,
                              java.lang.String constant)

wantArrayField

public boolean wantArrayField(AllocDotField df)

addInvokeArgType

public void addInvokeArgType(AllocDotField df,
                             Context context,
                             Type type)

wantInvokeArg

public boolean wantInvokeArg(Local receiver)

addInvokeArgDotField

public void addInvokeArgDotField(Local receiver,
                                 AllocDotField dot)