Package sootup.analysis.interprocedural.icfg

Class BackwardsInterproceduralCFG

java.lang.Object

sootup.analysis.interprocedural.icfg.BackwardsInterproceduralCFG

All Implemented Interfaces:

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

public class BackwardsInterproceduralCFG
extends Object
implements BiDiInterproceduralCFG<Stmt,SootMethod>

Same as JimpleBasedInterproceduralCFG but based on inverted Stmt graphs. This should be used for backward analyses.

Field Summary

Fields

Modifier and Type	Field	Description
protected final BiDiInterproceduralCFG<Stmt,SootMethod>	delegate

Constructor Summary

Constructors

Constructor	Description
BackwardsInterproceduralCFG(BiDiInterproceduralCFG<Stmt,SootMethod> fwICFG)

Method Summary

Modifier and Type	Method	Description
Set<Stmt>	allNonCallEndNodes()
Set<Stmt>	allNonCallStartNodes()
Collection<SootMethod>	getCalleesOfCallAt(Stmt n)
Collection<Stmt>	getCallersOf(SootMethod m)
Set<Stmt>	getCallsFromWithin(SootMethod m)
Collection<Stmt>	getEndPointsOf(SootMethod m)	returns entry points of a method
SootMethod	getMethodOf(Stmt n)
StmtGraph<?>	getOrCreateStmtGraph(SootMethod m)
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
List<Stmt>	getReturnSitesOfCallAt(Stmt n)
Collection<Stmt>	getStartPointsOf(SootMethod m)
List<Stmt>	getSuccsOf(Stmt n)
boolean	isBranchTarget(Stmt stmt, Stmt succ)
boolean	isCallStmt(Stmt stmt)
boolean	isExitStmt(Stmt stmt)
boolean	isFallThroughSuccessor(Stmt stmt, Stmt succ)
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)

Methods inherited from class java.lang.Object

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

Field Details

delegate

protected final BiDiInterproceduralCFG<Stmt,SootMethod> delegate

Constructor Details

BackwardsInterproceduralCFG

public BackwardsInterproceduralCFG(BiDiInterproceduralCFG<Stmt,SootMethod> fwICFG)

Method Details

getSuccsOf

public List<Stmt> getSuccsOf(Stmt n)

Specified by:

getSuccsOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getStartPointsOf

public Collection<Stmt> getStartPointsOf(SootMethod m)

Specified by:

getStartPointsOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getReturnSitesOfCallAt

public List<Stmt> getReturnSitesOfCallAt(Stmt n)

Specified by:

getReturnSitesOfCallAt in interface heros.InterproceduralCFG<Stmt,SootMethod>

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>

allNonCallStartNodes

public Set<Stmt> allNonCallStartNodes()

Specified by:

allNonCallStartNodes in interface heros.InterproceduralCFG<Stmt,SootMethod>

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:

allNonCallEndNodes

public Set<Stmt> allNonCallEndNodes()

Specified by:

allNonCallEndNodes in interface BiDiInterproceduralCFG<Stmt,SootMethod>

getMethodOf

public SootMethod getMethodOf(Stmt n)

Specified by:

getMethodOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getCalleesOfCallAt

public Collection<SootMethod> getCalleesOfCallAt(Stmt n)

Specified by:

getCalleesOfCallAt in interface heros.InterproceduralCFG<Stmt,SootMethod>

getCallersOf

public Collection<Stmt> getCallersOf(SootMethod m)

Specified by:

getCallersOf in interface heros.InterproceduralCFG<Stmt,SootMethod>

getCallsFromWithin

public Set<Stmt> getCallsFromWithin(SootMethod m)

Specified by:

getCallsFromWithin in interface heros.InterproceduralCFG<Stmt,SootMethod>

isCallStmt

public boolean isCallStmt(Stmt stmt)

Specified by:

isCallStmt in interface heros.InterproceduralCFG<Stmt,SootMethod>

getOrCreateStmtGraph

public StmtGraph<?> getOrCreateStmtGraph(SootMethod m)

Specified by:

getOrCreateStmtGraph in interface BiDiInterproceduralCFG<Stmt,SootMethod>

getParameterRefs

public List<Value> getParameterRefs(SootMethod m)

Specified by:

getParameterRefs in interface BiDiInterproceduralCFG<Stmt,SootMethod>

isFallThroughSuccessor

public boolean isFallThroughSuccessor(Stmt stmt,
 Stmt succ)

Specified by:

isFallThroughSuccessor in interface heros.InterproceduralCFG<Stmt,SootMethod>

isBranchTarget

public boolean isBranchTarget(Stmt stmt,
 Stmt succ)

Specified by:

isBranchTarget in interface heros.InterproceduralCFG<Stmt,SootMethod>

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