Package sootup.analysis.interprocedural.icfg

Class AbstractJimpleBasedICFG

java.lang.Object

sootup.analysis.interprocedural.icfg.AbstractJimpleBasedICFG

All Implemented Interfaces:

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

Direct Known Subclasses:

JimpleBasedInterproceduralCFG

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

Field Summary

Fields

Modifier and Type	Field	Description
protected com.google.common.cache.LoadingCache<Body,StmtGraph<?>>	bodyToStmtGraph
protected final boolean	enableExceptions
protected com.google.common.cache.LoadingCache<SootMethod,Set<Stmt>>	methodToCallsFromWithin
protected com.google.common.cache.LoadingCache<SootMethod,List<Value>>	methodToParameterRefs
protected View	view

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractJimpleBasedICFG()
protected	AbstractJimpleBasedICFG(boolean enableExceptions)

Method Summary

Modifier and Type	Method	Description
Set<Stmt>	allNonCallEndNodes()
Set<Stmt>	allNonCallStartNodes()
protected Map<Stmt,Body>	createStmtToOwnerMap()
Body	getBodyOf(Stmt stmt)
Set<Stmt>	getCallsFromWithin(SootMethod m)
protected Set<Stmt>	getCallsFromWithinMethod(SootMethod method)
Collection<Stmt>	getEndPointsOf(SootMethod m)	returns entry points of a method
SootMethod	getMethodOf(Stmt stmt)
StmtGraph<?>	getOrCreateStmtGraph(Body body)
StmtGraph<?>	getOrCreateStmtGraph(SootMethod method)
List<Value>	getParameterRefs(SootMethod m)
List<Stmt>	getPredsOf(Stmt u)	returns the predecessors of a node
List<Stmt>	getPredsOfCallAt(Stmt u)	returns predecessors of a call node
Collection<Stmt>	getReturnSitesOfCallAt(Stmt u)
Collection<Stmt>	getStartPointsOf(SootMethod m)
List<Stmt>	getSuccsOf(Stmt stmt)
void	initializeStmtToOwner(SootMethod m)
boolean	isBranchTarget(Stmt u, Stmt succ)
boolean	isCallStmt(Stmt stmt)
boolean	isExitStmt(Stmt stmt)
boolean	isFallThroughSuccessor(Stmt stmt, Stmt successorCandidate)
boolean	isReachable(Stmt u)	Checks whether the given statement is reachable from the entry point
boolean	isReturnSite(Stmt n)	Gets whether the given statement is a return site of at least one call
boolean	isStartPoint(Stmt stmt)
protected StmtGraph<?>	makeGraph(Body body)
boolean	setOwnerStatement(Stmt 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 Details

enableExceptions

protected final boolean enableExceptions

view

protected View view

bodyToStmtGraph

protected com.google.common.cache.LoadingCache<Body,StmtGraph<?>> bodyToStmtGraph

methodToParameterRefs

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

methodToCallsFromWithin

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

Constructor Details

AbstractJimpleBasedICFG

protected AbstractJimpleBasedICFG()

AbstractJimpleBasedICFG

protected AbstractJimpleBasedICFG(boolean enableExceptions)

Method Details

createStmtToOwnerMap

protected Map<Stmt,Body> createStmtToOwnerMap()

getBodyOf

public Body getBodyOf(Stmt stmt)

getMethodOf

public SootMethod getMethodOf(Stmt stmt)

Specified by:

getMethodOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getSuccsOf

public List<Stmt> getSuccsOf(Stmt stmt)

Specified by:

getSuccsOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getOrCreateStmtGraph

public StmtGraph<?> getOrCreateStmtGraph(SootMethod method)

Specified by:

getOrCreateStmtGraph in interface BiDiInterproceduralCFG<Stmt,SootMethod>

getOrCreateStmtGraph

public StmtGraph<?> getOrCreateStmtGraph(Body body)

makeGraph

protected StmtGraph<?> makeGraph(Body body)

getCallsFromWithinMethod

protected Set<Stmt> getCallsFromWithinMethod(SootMethod method)

isExitStmt

public boolean isExitStmt(Stmt stmt)

Specified by:

isExitStmt in interface heros.InterproceduralCFG<Stmt,SootMethod>

isStartPoint

public boolean isStartPoint(Stmt stmt)

Specified by:

isStartPoint in interface heros.InterproceduralCFG<Stmt,SootMethod>

isFallThroughSuccessor

public boolean isFallThroughSuccessor(Stmt stmt,
 Stmt successorCandidate)

Specified by:

isFallThroughSuccessor in interface heros.InterproceduralCFG<Stmt,SootMethod>

isBranchTarget

public boolean isBranchTarget(Stmt u,
 Stmt succ)

Specified by:

isBranchTarget in interface heros.InterproceduralCFG<Stmt,SootMethod>

getParameterRefs

public List<Value> getParameterRefs(SootMethod m)

Specified by:

getParameterRefs in interface BiDiInterproceduralCFG<Stmt,SootMethod>

getStartPointsOf

public Collection<Stmt> getStartPointsOf(SootMethod m)

Specified by:

getStartPointsOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

setOwnerStatement

public boolean setOwnerStatement(Stmt u,
 Body b)

isCallStmt

public boolean isCallStmt(Stmt stmt)

Specified by:

isCallStmt in interface heros.InterproceduralCFG<Stmt,SootMethod>

allNonCallStartNodes

public Set<Stmt> allNonCallStartNodes()

Specified by:

allNonCallStartNodes in interface heros.InterproceduralCFG<Stmt,SootMethod>

allNonCallEndNodes

public Set<Stmt> allNonCallEndNodes()

Specified by:

allNonCallEndNodes in interface BiDiInterproceduralCFG<Stmt,SootMethod>

getReturnSitesOfCallAt

public Collection<Stmt> getReturnSitesOfCallAt(Stmt u)

Specified by:

getReturnSitesOfCallAt in interface heros.InterproceduralCFG<Stmt,SootMethod>

getCallsFromWithin

public Set<Stmt> getCallsFromWithin(SootMethod m)

Specified by:

getCallsFromWithin in interface heros.InterproceduralCFG<Stmt,SootMethod>

initializeStmtToOwner

public void initializeStmtToOwner(SootMethod m)

getPredsOf

public List<Stmt> getPredsOf(Stmt u)

Description copied from interface: BiDiInterproceduralCFG

returns the predecessors of a node

Specified by:

getPredsOf in interface BiDiInterproceduralCFG<Stmt,SootMethod>

Specified by:

getPredsOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getEndPointsOf

public Collection<Stmt> getEndPointsOf(SootMethod m)

Description copied from interface: BiDiInterproceduralCFG

returns entry points of a method

Specified by:

getEndPointsOf in interface BiDiInterproceduralCFG<Stmt,SootMethod>

Returns:

getPredsOfCallAt

public List<Stmt> getPredsOfCallAt(Stmt u)

Description copied from interface: BiDiInterproceduralCFG

returns predecessors of a call node

Specified by:

getPredsOfCallAt in interface BiDiInterproceduralCFG<Stmt,SootMethod>

Returns:

isReturnSite

public boolean isReturnSite(Stmt 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<Stmt,SootMethod>

Parameters:

n - The statement to check

Returns:

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

isReachable

public boolean isReachable(Stmt u)

Description copied from interface: BiDiInterproceduralCFG

Checks whether the given statement is reachable from the entry point

Specified by:

isReachable in interface BiDiInterproceduralCFG<Stmt,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