soot.jimple.toolkits.ide.icfg

Class AbstractJimpleBasedICFG

java.lang.Object

soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG

All Implemented Interfaces:

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

Direct Known Subclasses:

JimpleBasedInterproceduralCFG, OnTheFlyJimpleBasedICFG

public abstract class AbstractJimpleBasedICFG
extends Object
implements BiDiInterproceduralCFG<Unit,SootMethod>

Field Summary

Fields

Modifier and Type	Field and Description
protected com.google.common.cache.LoadingCache<Body,DirectedGraph<Unit>>	bodyToUnitGraph
protected boolean	enableExceptions
protected com.google.common.cache.LoadingCache<SootMethod,Set<Unit>>	methodToCallsFromWithin
protected com.google.common.cache.LoadingCache<SootMethod,List<Value>>	methodToParameterRefs

Constructor Summary

Constructors

Constructor and Description
AbstractJimpleBasedICFG()
AbstractJimpleBasedICFG(boolean enableExceptions)

Method Summary

Modifier and Type	Method and Description
Set<Unit>	allNonCallEndNodes()
Set<Unit>	allNonCallStartNodes()
protected Map<Unit,Body>	createUnitToOwnerMap()
Body	getBodyOf(Unit u)
Set<Unit>	getCallsFromWithin(SootMethod m)
protected Set<Unit>	getCallsFromWithinMethod(SootMethod m)
Collection<Unit>	getEndPointsOf(SootMethod m)
SootMethod	getMethodOf(Unit u)
DirectedGraph<Unit>	getOrCreateUnitGraph(Body body)
DirectedGraph<Unit>	getOrCreateUnitGraph(SootMethod m)
List<Value>	getParameterRefs(SootMethod m)
List<Unit>	getPredsOf(Unit u)
List<Unit>	getPredsOfCallAt(Unit u)
Collection<Unit>	getReturnSitesOfCallAt(Unit u)
Collection<Unit>	getStartPointsOf(SootMethod m)
List<Unit>	getSuccsOf(Unit u)
void	initializeUnitToOwner(SootMethod m)
boolean	isBranchTarget(Unit u, Unit succ)
boolean	isCallStmt(Unit u)
boolean	isExitStmt(Unit u)
boolean	isFallThroughSuccessor(Unit u, Unit succ)
boolean	isReachable(Unit u) Checks whether the given statement is rachable from the entry point
boolean	isReturnSite(Unit n) Gets whether the given statement is a return site of at least one call
boolean	isStartPoint(Unit u)
protected DirectedGraph<Unit>	makeGraph(Body body)
boolean	setOwnerStatement(Unit u, Body b)

Methods inherited from class java.lang.Object

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

Methods inherited from interface heros.InterproceduralCFG

getCalleesOfCallAt, getCallersOf

Field Detail

enableExceptions

protected final boolean enableExceptions

bodyToUnitGraph

protected com.google.common.cache.LoadingCache<Body,DirectedGraph<Unit>> bodyToUnitGraph

methodToParameterRefs

protected com.google.common.cache.LoadingCache<SootMethod,List<Value>> methodToParameterRefs

methodToCallsFromWithin

protected com.google.common.cache.LoadingCache<SootMethod,Set<Unit>> methodToCallsFromWithin

Constructor Detail

AbstractJimpleBasedICFG

public AbstractJimpleBasedICFG()

AbstractJimpleBasedICFG

public AbstractJimpleBasedICFG(boolean enableExceptions)

Method Detail

createUnitToOwnerMap

protected Map<Unit,Body> createUnitToOwnerMap()

getBodyOf

public Body getBodyOf(Unit u)

getMethodOf

public SootMethod getMethodOf(Unit u)

Specified by:

getMethodOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getSuccsOf

public List<Unit> getSuccsOf(Unit u)

Specified by:

getSuccsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getOrCreateUnitGraph

public DirectedGraph<Unit> getOrCreateUnitGraph(SootMethod m)

Specified by:

getOrCreateUnitGraph in interface BiDiInterproceduralCFG<Unit,SootMethod>

getOrCreateUnitGraph

public DirectedGraph<Unit> getOrCreateUnitGraph(Body body)

makeGraph

protected DirectedGraph<Unit> makeGraph(Body body)

getCallsFromWithinMethod

protected Set<Unit> getCallsFromWithinMethod(SootMethod m)

isExitStmt

public boolean isExitStmt(Unit u)

Specified by:

isExitStmt in interface heros.InterproceduralCFG<Unit,SootMethod>

isStartPoint

public boolean isStartPoint(Unit u)

Specified by:

isStartPoint in interface heros.InterproceduralCFG<Unit,SootMethod>

isFallThroughSuccessor

public boolean isFallThroughSuccessor(Unit u,
                                      Unit succ)

Specified by:

isFallThroughSuccessor in interface heros.InterproceduralCFG<Unit,SootMethod>

isBranchTarget

public boolean isBranchTarget(Unit u,
                              Unit succ)

Specified by:

isBranchTarget in interface heros.InterproceduralCFG<Unit,SootMethod>

getParameterRefs

public List<Value> getParameterRefs(SootMethod m)

Specified by:

getParameterRefs in interface BiDiInterproceduralCFG<Unit,SootMethod>

getStartPointsOf

public Collection<Unit> getStartPointsOf(SootMethod m)

Specified by:

getStartPointsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

setOwnerStatement

public boolean setOwnerStatement(Unit u,
                                 Body b)

isCallStmt

public boolean isCallStmt(Unit u)

Specified by:

isCallStmt in interface heros.InterproceduralCFG<Unit,SootMethod>

allNonCallStartNodes

public Set<Unit> allNonCallStartNodes()

Specified by:

allNonCallStartNodes in interface heros.InterproceduralCFG<Unit,SootMethod>

allNonCallEndNodes

public Set<Unit> allNonCallEndNodes()

Specified by:

allNonCallEndNodes in interface BiDiInterproceduralCFG<Unit,SootMethod>

getReturnSitesOfCallAt

public Collection<Unit> getReturnSitesOfCallAt(Unit u)

Specified by:

getReturnSitesOfCallAt in interface heros.InterproceduralCFG<Unit,SootMethod>

getCallsFromWithin

public Set<Unit> getCallsFromWithin(SootMethod m)

Specified by:

getCallsFromWithin in interface heros.InterproceduralCFG<Unit,SootMethod>

initializeUnitToOwner

public void initializeUnitToOwner(SootMethod m)

getPredsOf

public List<Unit> getPredsOf(Unit u)

Specified by:

getPredsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

Specified by:

getPredsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>

getEndPointsOf

public Collection<Unit> getEndPointsOf(SootMethod m)

Specified by:

getEndPointsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>

getPredsOfCallAt

public List<Unit> getPredsOfCallAt(Unit u)

Specified by:

getPredsOfCallAt in interface BiDiInterproceduralCFG<Unit,SootMethod>

isReturnSite

public boolean isReturnSite(Unit n)

Description copied from interface: BiDiInterproceduralCFG

Gets whether the given statement is a return site of at least one call

Specified by:

isReturnSite in interface BiDiInterproceduralCFG<Unit,SootMethod>

Parameters:

n - The statement to check

Returns:

True if the given statement is a return site, otherwise false

isReachable

public boolean isReachable(Unit u)

Description copied from interface: BiDiInterproceduralCFG

Checks whether the given statement is rachable from the entry point

Specified by:

isReachable in interface BiDiInterproceduralCFG<Unit,SootMethod>

Parameters:

u - The statement to check

Returns:

True if there is a control flow path from the entry point of the program to the given statement, otherwise false