soot.jimple.toolkits.ide.icfg

Class JimpleBasedInterproceduralCFG

java.lang.Object

soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG

soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG

All Implemented Interfaces:

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

public class JimpleBasedInterproceduralCFG
extends AbstractJimpleBasedICFG

Default implementation for the InterproceduralCFG interface. Includes all statements reachable from Scene.getEntryPoints() through explicit call statements or through calls to Thread.start(). This class is designed to be thread safe, and subclasses of this class must be designed in a thread-safe way, too.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	JimpleBasedInterproceduralCFG.EdgeFilter

Field Summary

Fields

Modifier and Type	Field and Description
protected CallGraph	cg
protected boolean	includePhantomCallees
protected boolean	includeReflectiveCalls
protected <any>	loaderMethodToCallers
protected <any>	loaderUnitToCallees
protected static Logger	logger
protected <any>	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
JimpleBasedInterproceduralCFG()
JimpleBasedInterproceduralCFG(boolean enableExceptions)
JimpleBasedInterproceduralCFG(boolean enableExceptions, boolean includeReflectiveCalls)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<SootMethod>	getCalleesOfCallAt(Unit u) Returns all callee methods for a given call.
java.util.Collection<Unit>	getCallersOf(SootMethod m) Returns all caller statements/nodes of a given method.
protected void	initializeUnitToOwner()
void	initializeUnitToOwner(SootMethod m)
void	setIncludePhantomCallees(boolean includePhantomCallees) Sets whether methods that operate on the callgraph shall also return phantom methods as potential callees

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

logger

protected static final Logger logger

includeReflectiveCalls

protected boolean includeReflectiveCalls

includePhantomCallees

protected boolean includePhantomCallees

cg

protected final CallGraph cg

loaderUnitToCallees

protected <any> loaderUnitToCallees

unitToCallees

protected final <any> unitToCallees

loaderMethodToCallers

protected <any> loaderMethodToCallers

methodToCallers

protected final <any> methodToCallers

Constructor Detail

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG()

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(boolean enableExceptions)

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(boolean enableExceptions,
                                     boolean includeReflectiveCalls)

Method Detail

initializeUnitToOwner

protected void initializeUnitToOwner()

initializeUnitToOwner

public void initializeUnitToOwner(SootMethod m)

getCalleesOfCallAt

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

Description copied from interface: InterproceduralCFG

Returns all callee methods for a given call.

getCallersOf

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

Description copied from interface: InterproceduralCFG

Returns all caller statements/nodes of a given method.

setIncludePhantomCallees

public void setIncludePhantomCallees(boolean includePhantomCallees)

Sets whether methods that operate on the callgraph shall also return phantom methods as potential callees

Parameters:

includePhantomCallees - True if phantom methods shall be returned as potential callees, otherwise false