Package sootup.analysis.interprocedural.icfg

Class JimpleBasedInterproceduralCFG

java.lang.Object

sootup.analysis.interprocedural.icfg.AbstractJimpleBasedICFG

sootup.analysis.interprocedural.icfg.JimpleBasedInterproceduralCFG

All Implemented Interfaces:

heros.InterproceduralCFG<Stmt,SootMethod>, BiDiInterproceduralCFG<Stmt,SootMethod>

public class JimpleBasedInterproceduralCFG
extends AbstractJimpleBasedICFG

Default implementation for the InterproceduralCFG interface. Includes all statements reachable from entrypoints 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.

Field Summary

Fields

Modifier and Type	Field	Description
protected final CallGraph	cg
protected boolean	includeReflectiveCalls
protected com.google.common.cache.CacheLoader<SootMethod,Collection<Stmt>>	loaderMethodToCallers
protected com.google.common.cache.CacheLoader<Stmt,Collection<SootMethod>>	loaderUnitToCallees
protected static final org.slf4j.Logger	logger
protected final com.google.common.cache.LoadingCache<SootMethod,Collection<Stmt>>	methodToCallers
protected final com.google.common.cache.LoadingCache<Stmt,Collection<SootMethod>>	stmtToCallees

Fields inherited from class sootup.analysis.interprocedural.icfg.AbstractJimpleBasedICFG

bodyToStmtGraph, enableExceptions, methodToCallsFromWithin, methodToParameterRefs, view

Constructor Summary

Constructors

Constructor	Description
JimpleBasedInterproceduralCFG(CallGraph cg, View view, boolean enableExceptions, boolean includeReflectiveCalls)
JimpleBasedInterproceduralCFG(View view, List<MethodSignature> cgEntryPoints, boolean enableExceptions, boolean includeReflectiveCalls)

Method Summary

Modifier and Type	Method	Description
String	buildICFGGraph(CallGraph callGraph)
void	computeAllCalls(List<MethodSignature> entryPoints, Map<MethodSignature,StmtGraph<?>> signatureToStmtGraph, CallGraph callGraph)
Collection<SootMethod>	getCalleesOfCallAt(Stmt u)
Collection<Stmt>	getCallersOf(SootMethod m)
CallGraph	getCg()
protected void	initializeStmtToOwner()

Methods inherited from class sootup.analysis.interprocedural.icfg.AbstractJimpleBasedICFG

allNonCallEndNodes, allNonCallStartNodes, createStmtToOwnerMap, getBodyOf, getCallsFromWithin, getCallsFromWithinMethod, getEndPointsOf, getMethodOf, getOrCreateStmtGraph, getOrCreateStmtGraph, getParameterRefs, getPredsOf, getPredsOfCallAt, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, initializeStmtToOwner, 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 Details

logger

protected static final org.slf4j.Logger logger

includeReflectiveCalls

protected boolean includeReflectiveCalls

cg

protected final CallGraph cg

loaderUnitToCallees

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

stmtToCallees

protected final com.google.common.cache.LoadingCache<Stmt,Collection<SootMethod>> stmtToCallees

loaderMethodToCallers

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

methodToCallers

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

Constructor Details

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(View view,
 List<MethodSignature> cgEntryPoints,
 boolean enableExceptions,
 boolean includeReflectiveCalls)

JimpleBasedInterproceduralCFG

public JimpleBasedInterproceduralCFG(CallGraph cg,
 View view,
 boolean enableExceptions,
 boolean includeReflectiveCalls)

Method Details

getCg

public CallGraph getCg()

buildICFGGraph

public String buildICFGGraph(CallGraph callGraph)

computeAllCalls

public void computeAllCalls(List<MethodSignature> entryPoints,
 Map<MethodSignature,StmtGraph<?>> signatureToStmtGraph,
 CallGraph callGraph)

initializeStmtToOwner

protected void initializeStmtToOwner()

getCalleesOfCallAt

public Collection<SootMethod> getCalleesOfCallAt(@Nonnull
 Stmt u)

getCallersOf

public Collection<Stmt> getCallersOf(@Nonnull
 SootMethod m)