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:

heros.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 com.google.common.cache.CacheLoader<SootMethod,Collection<Unit>>	loaderMethodToCallers
protected com.google.common.cache.CacheLoader<Unit,Collection<SootMethod>>	loaderUnitToCallees
protected static org.slf4j.Logger	logger
protected com.google.common.cache.LoadingCache<SootMethod,Collection<Unit>>	methodToCallers
protected com.google.common.cache.LoadingCache<Unit,Collection<SootMethod>>	unitToCallees

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

bodyToUnitGraph, enableExceptions, methodToCallsFromWithin, methodToParameterRefs

Constructor Summary

Constructors

Constructor and Description
JimpleBasedInterproceduralCFG()
JimpleBasedInterproceduralCFG(boolean enableExceptions)
JimpleBasedInterproceduralCFG(boolean enableExceptions, boolean includeReflectiveCalls)

Method Summary

Modifier and Type	Method and Description
Collection<SootMethod>	getCalleesOfCallAt(Unit u)
Collection<Unit>	getCallersOf(SootMethod m)
protected void	initializeUnitToOwner()
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, createUnitToOwnerMap, getBodyOf, getCallsFromWithin, getCallsFromWithinMethod, getEndPointsOf, getMethodOf, getOrCreateUnitGraph, getOrCreateUnitGraph, getParameterRefs, getPredsOf, getPredsOfCallAt, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, initializeUnitToOwner, isBranchTarget, isCallStmt, isExitStmt, isFallThroughSuccessor, isReachable, isReturnSite, isStartPoint, makeGraph, setOwnerStatement

Methods inherited from class java.lang.Object

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

Field Detail

logger

protected static final org.slf4j.Logger logger

includeReflectiveCalls

protected boolean includeReflectiveCalls

includePhantomCallees

protected boolean includePhantomCallees

cg

protected final CallGraph cg

loaderUnitToCallees

protected com.google.common.cache.CacheLoader<Unit,Collection<SootMethod>> loaderUnitToCallees

unitToCallees

protected final com.google.common.cache.LoadingCache<Unit,Collection<SootMethod>> unitToCallees

loaderMethodToCallers

protected com.google.common.cache.CacheLoader<SootMethod,Collection<Unit>> loaderMethodToCallers

methodToCallers

protected final com.google.common.cache.LoadingCache<SootMethod,Collection<Unit>> methodToCallers

Constructor Detail

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG()

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(boolean enableExceptions)

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(boolean enableExceptions,
                                     boolean includeReflectiveCalls)

Method Detail

initializeUnitToOwner

protected void initializeUnitToOwner()

getCalleesOfCallAt

public Collection<SootMethod> getCalleesOfCallAt(Unit u)

getCallersOf

public Collection<Unit> getCallersOf(SootMethod m)

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