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.

Author:

Ondrej Lhotak

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
protected RefType	clAsyncTask
protected RefType	clRunnable
protected NumberedString	sigDoInBackground
protected NumberedString	sigExecute
protected NumberedString	sigExecutorExecute
protected NumberedString	sigFinalize
protected NumberedString	sigForName
protected NumberedString	sigHandlerPost
protected NumberedString	sigHandlerPostAtFrontOfQueue
protected NumberedString	sigHandlerPostAtTime
protected NumberedString	sigHandlerPostAtTimeWithToken
protected NumberedString	sigHandlerPostDelayed
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

Methods

Modifier and Type	Method and Description
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>>	methodToReceivers()
LargeNumberedMap<SootMethod,java.util.List<Local>>	methodToStringConstants()
void	processReachables()
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

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

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()

methodToStringConstants

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

processReachables

public void processReachables()

wantTypes

public boolean wantTypes(Local receiver)

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)