soot.jimple.toolkits.ide.icfg

Class OnTheFlyJimpleBasedICFG

java.lang.Object

soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG

soot.jimple.toolkits.ide.icfg.OnTheFlyJimpleBasedICFG

All Implemented Interfaces:

InterproceduralCFG<Unit,SootMethod>, BiDiInterproceduralCFG<Unit,SootMethod>

public class OnTheFlyJimpleBasedICFG
extends AbstractJimpleBasedICFG

This is an implementation of AbstractJimpleBasedICFG that computes the ICFG on-the-fly. In other words, it can be used without pre-computing a call graph. Instead this implementation resolves calls through Class Hierarchy Analysis (CHA), as implemented through FastHierarchy. The CHA is supported by LocalMustNotAliasAnalysis, which is used to determine cases where the concrete type of an object at an InvokeVirtual or InvokeInterface callsite is known. In these cases the call can be resolved concretely, i.e., to a single target. To be sound, for InvokeInterface calls that cannot be resolved concretely, OnTheFlyJimpleBasedICFG requires that all classes on the classpath be loaded at least to signatures. This must be done before the FastHierarchy is computed such that the hierarchy is intact. Clients should call loadAllClassesOnClassPathToSignatures() to load all required classes to this level.

See Also:

FastHierarchy.resolveConcreteDispatch(SootClass, SootMethod), FastHierarchy.resolveAbstractDispatch(SootClass, SootMethod)

Field Summary

Fields

Modifier and Type	Field and Description
protected <any>	bodyToLMNAA
protected java.util.Map<SootMethod,java.util.Set<Unit>>	methodToCallers
protected <any>	unitToCallees

Fields inherited from class soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG

bodyToUnitGraph, enableExceptions, methodToCallsFromWithin, methodToParameterRefs, unitToOwner

Constructor Summary

Constructors

Constructor and Description
OnTheFlyJimpleBasedICFG(java.util.Collection<SootMethod> entryPoints)
OnTheFlyJimpleBasedICFG(SootMethod... entryPoints)

Method Summary

Modifier and Type	Method and Description
java.util.Set<SootMethod>	getCalleesOfCallAt(Unit u) Returns all callee methods for a given call.
java.util.Set<Unit>	getCallersOf(SootMethod m) Returns all caller statements/nodes of a given method.
protected Body	initForMethod(SootMethod m)
static void	loadAllClassesOnClassPathToSignatures()
static void	main(java.lang.String[] args)

Methods inherited from class soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG

allNonCallEndNodes, allNonCallStartNodes, getCallsFromWithin, getEndPointsOf, getMethodOf, getOrCreateUnitGraph, getOrCreateUnitGraph, getParameterRefs, getPredsOf, getPredsOfCallAt, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, isBranchTarget, isCallStmt, isExitStmt, isFallThroughSuccessor, isReachable, isReturnSite, isStartPoint, makeGraph

Methods inherited from class java.lang.Object

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

Field Detail

bodyToLMNAA

protected final <any> bodyToLMNAA

unitToCallees

protected final <any> unitToCallees

methodToCallers

protected java.util.Map<SootMethod,java.util.Set<Unit>> methodToCallers

Constructor Detail

OnTheFlyJimpleBasedICFG

public OnTheFlyJimpleBasedICFG(SootMethod... entryPoints)

OnTheFlyJimpleBasedICFG

public OnTheFlyJimpleBasedICFG(java.util.Collection<SootMethod> entryPoints)

Method Detail

initForMethod

protected Body initForMethod(SootMethod m)

getCalleesOfCallAt

public java.util.Set<SootMethod> getCalleesOfCallAt(Unit u)

Description copied from interface: InterproceduralCFG

Returns all callee methods for a given call.

getCallersOf

public java.util.Set<Unit> getCallersOf(SootMethod m)

Description copied from interface: InterproceduralCFG

Returns all caller statements/nodes of a given method.

loadAllClassesOnClassPathToSignatures

public static void loadAllClassesOnClassPathToSignatures()

main

public static void main(java.lang.String[] args)