public class JimpleBasedInterproceduralCFG extends AbstractJimpleBasedICFG
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.Modifier and Type | Class and Description |
---|---|
class |
JimpleBasedInterproceduralCFG.EdgeFilter |
Modifier and Type | Field and Description |
---|---|
protected CallGraph |
cg |
protected boolean |
includeReflectiveCalls |
protected <any> |
methodToCallers |
protected <any> |
unitToCallees |
bodyToUnitGraph, enableExceptions, methodToCallsFromWithin, methodToParameterRefs, unitToOwner
Constructor and Description |
---|
JimpleBasedInterproceduralCFG() |
JimpleBasedInterproceduralCFG(boolean enableExceptions) |
JimpleBasedInterproceduralCFG(boolean enableExceptions,
boolean includeReflectiveCalls) |
Modifier and Type | Method and Description |
---|---|
Collection<SootMethod> |
getCalleesOfCallAt(Unit u) |
Collection<Unit> |
getCallersOf(SootMethod m) |
protected void |
initializeUnitToOwner() |
void |
initializeUnitToOwner(SootMethod m) |
allNonCallEndNodes, allNonCallStartNodes, getCallsFromWithin, getEndPointsOf, getMethodOf, getOrCreateUnitGraph, getOrCreateUnitGraph, getParameterRefs, getPredsOf, getPredsOfCallAt, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, isBranchTarget, isCallStmt, isExitStmt, isFallThroughSuccessor, isReachable, isReturnSite, isStartPoint, makeGraph
protected boolean includeReflectiveCalls
protected final CallGraph cg
protected final <any> unitToCallees
protected final <any> methodToCallers
public JimpleBasedInterproceduralCFG()
public JimpleBasedInterproceduralCFG(boolean enableExceptions)
public JimpleBasedInterproceduralCFG(boolean enableExceptions, boolean includeReflectiveCalls)
protected void initializeUnitToOwner()
public void initializeUnitToOwner(SootMethod m)
public Collection<SootMethod> getCalleesOfCallAt(Unit u)
public Collection<Unit> getCallersOf(SootMethod m)