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
static class	JimpleBasedInterproceduralCFG.EdgeFilter

Field Summary

Fields

Modifier and Type	Field and Description
protected CallGraph	cg
protected com.google.common.cache.LoadingCache<SootMethod,java.util.Collection<Unit>>	methodToCallers
protected com.google.common.cache.LoadingCache<Unit,java.util.Collection<SootMethod>>	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)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Collection<SootMethod>	getCalleesOfCallAt(Unit u)
java.util.Collection<Unit>	getCallersOf(SootMethod m)
protected void	initializeUnitToOwner()
void	initializeUnitToOwner(SootMethod m)

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, isReturnSite, isStartPoint, makeGraph

Methods inherited from class java.lang.Object

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

Field Detail

cg

protected final CallGraph cg

unitToCallees

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

methodToCallers

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

Constructor Detail

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG()

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(boolean enableExceptions)

Method Detail

initializeUnitToOwner

protected void initializeUnitToOwner()

initializeUnitToOwner

public void initializeUnitToOwner(SootMethod m)

getCalleesOfCallAt

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

getCallersOf

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