soot.jimple.toolkits.callgraph

Class OnFlyCallGraphBuilder

java.lang.Object

soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder

public class OnFlyCallGraphBuilder
extends 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
class	OnFlyCallGraphBuilder.TypeBasedReflectionModel

Field Summary

Fields

Modifier and Type	Field and Description
protected MultiMap<AllocDotField,Local>	allocDotFieldToLocal
protected SootMethod	analysisKey
protected HashSet<SootMethod>	analyzedMethods
protected boolean	appOnly
protected ConstantArrayAnalysis	arrayCache
protected MultiMap<Local,InvokeCallSite>	baseToInvokeSite
protected RefType	clAsyncTask
protected RefType	clHandler
protected RefType	clRunnable
protected ContextManager	cm
protected MultiMap<Local,InvokeCallSite>	invokeArgsToInvokeSite
protected Map<Local,BitSet>	invokeArgsToSize
protected Map<SootMethod,List<Local>>	methodToInvokeArgs
protected Map<SootMethod,List<Local>>	methodToInvokeBases
protected Map<SootMethod,List<Local>>	methodToReceivers
protected Map<SootMethod,List<Local>>	methodToStringConstants
protected NullnessAnalysis	nullnessCache
protected CGOptions	options
protected MultiMap<Local,Type>	reachingArgTypes
protected MultiMap<Local,Type>	reachingBaseTypes
protected Map<Local,List<VirtualCallSite>>	receiverToSites
protected ReflectionModel	reflectionModel
protected ReachableMethods	rm context-sensitive stuff
protected NumberedString	sigFinalize
protected NumberedString	sigForName
protected NumberedString	sigInit
protected Map<Local,List<VirtualCallSite>>	stringConstToSites
protected QueueReader<SootMethod>	targets
protected ChunkedQueue<SootMethod>	targetsQueue
protected VirtualEdgesSummaries	virtualEdgeSummaries
protected QueueReader<MethodOrMethodContext>	worklist

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, String constant)
void	addType(Local receiver, Context srcContext, Type type, Context typeContext)
protected void	findReceivers(SootMethod m, Body b)
ContextManager	getContextManager()
Set<Local>	getReceiversOfVirtualEdge(VirtualEdgesSummaries.InvocationVirtualEdgeTarget edgeTarget, InvokeExpr invokeExpr) Returns all values that should be mapped to this in the edge target.
VirtualEdgesSummaries	getVirtualEdgeSummaries()
protected VirtualEdgesSummaries	initializeEdgeSummaries() Initializes the edge summaries that model callbacks in library classes.
Map<SootMethod,List<Local>>	methodToInvokeArgs()
Map<SootMethod,List<Local>>	methodToInvokeBases()
Map<SootMethod,List<Local>>	methodToReceivers()
Map<SootMethod,List<Local>>	methodToStringConstants()
protected void	processNewMethod(SootMethod m)
protected void	processNewMethodContext(MethodOrMethodContext momc)
void	processReachables()
protected void	processVirtualEdgeSummary(SootMethod m, Stmt s, Local receiver, VirtualEdgesSummaries.InvocationVirtualEdgeTarget target, Kind edgeType)
protected void	processVirtualEdgeSummary(SootMethod callSiteMethod, Stmt callSite, Stmt curStmt, Local receiver, VirtualEdgesSummaries.InvocationVirtualEdgeTarget target, Kind edgeType)
void	setArgArrayNonDetSize(Local argArray, Context context)
protected boolean	skipSite(VirtualCallSite site, FastHierarchy fh, Type type)
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

sigForName

protected final NumberedString sigForName

clRunnable

protected final RefType clRunnable

clAsyncTask

protected final RefType clAsyncTask

clHandler

protected final RefType clHandler

receiverToSites

protected final Map<Local,List<VirtualCallSite>> receiverToSites

methodToReceivers

protected final Map<SootMethod,List<Local>> methodToReceivers

methodToInvokeBases

protected final Map<SootMethod,List<Local>> methodToInvokeBases

methodToInvokeArgs

protected final Map<SootMethod,List<Local>> methodToInvokeArgs

methodToStringConstants

protected final Map<SootMethod,List<Local>> methodToStringConstants

stringConstToSites

protected final Map<Local,List<VirtualCallSite>> stringConstToSites

analyzedMethods

protected final HashSet<SootMethod> analyzedMethods

baseToInvokeSite

protected final MultiMap<Local,InvokeCallSite> baseToInvokeSite

invokeArgsToInvokeSite

protected final MultiMap<Local,InvokeCallSite> invokeArgsToInvokeSite

invokeArgsToSize

protected final Map<Local,BitSet> invokeArgsToSize

allocDotFieldToLocal

protected final MultiMap<AllocDotField,Local> allocDotFieldToLocal

reachingArgTypes

protected final MultiMap<Local,Type> reachingArgTypes

reachingBaseTypes

protected final MultiMap<Local,Type> reachingBaseTypes

targetsQueue

protected final ChunkedQueue<SootMethod> targetsQueue

targets

protected final QueueReader<SootMethod> targets

reflectionModel

protected final ReflectionModel reflectionModel

options

protected final CGOptions options

appOnly

protected boolean appOnly

rm

protected final ReachableMethods rm

context-sensitive stuff

worklist

protected final QueueReader<MethodOrMethodContext> worklist

cm

protected final ContextManager cm

virtualEdgeSummaries

protected final VirtualEdgesSummaries virtualEdgeSummaries

nullnessCache

protected NullnessAnalysis nullnessCache

arrayCache

protected ConstantArrayAnalysis arrayCache

analysisKey

protected SootMethod analysisKey

Constructor Detail

OnFlyCallGraphBuilder

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

OnFlyCallGraphBuilder

public OnFlyCallGraphBuilder(ContextManager cm,
                             ReachableMethods rm)

Method Detail

initializeEdgeSummaries

protected VirtualEdgesSummaries initializeEdgeSummaries()

Initializes the edge summaries that model callbacks in library classes. Custom implementations may override this method to supply a specialized summary provider.

Returns:

A provider object for virtual edge summaries

getContextManager

public ContextManager getContextManager()

methodToReceivers

public Map<SootMethod,List<Local>> methodToReceivers()

methodToInvokeArgs

public Map<SootMethod,List<Local>> methodToInvokeArgs()

methodToInvokeBases

public Map<SootMethod,List<Local>> methodToInvokeBases()

methodToStringConstants

public Map<SootMethod,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)

skipSite

protected boolean skipSite(VirtualCallSite site,
                           FastHierarchy fh,
                           Type type)

wantStringConstants

public boolean wantStringConstants(Local stringConst)

addStringConstant

public void addStringConstant(Local l,
                              Context srcContext,
                              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)

processNewMethod

protected void processNewMethod(SootMethod m)

findReceivers

protected void findReceivers(SootMethod m,
                             Body b)

processVirtualEdgeSummary

protected void processVirtualEdgeSummary(SootMethod m,
                                         Stmt s,
                                         Local receiver,
                                         VirtualEdgesSummaries.InvocationVirtualEdgeTarget target,
                                         Kind edgeType)

getReceiversOfVirtualEdge

public Set<Local> getReceiversOfVirtualEdge(VirtualEdgesSummaries.InvocationVirtualEdgeTarget edgeTarget,
                                            InvokeExpr invokeExpr)

Returns all values that should be mapped to this in the edge target.

processVirtualEdgeSummary

protected void processVirtualEdgeSummary(SootMethod callSiteMethod,
                                         Stmt callSite,
                                         Stmt curStmt,
                                         Local receiver,
                                         VirtualEdgesSummaries.InvocationVirtualEdgeTarget target,
                                         Kind edgeType)

processNewMethodContext

protected void processNewMethodContext(MethodOrMethodContext momc)

getVirtualEdgeSummaries

public VirtualEdgesSummaries getVirtualEdgeSummaries()