Package soot.jimple.toolkits.ide.icfg

Class BackwardsInterproceduralCFG

java.lang.Object

soot.jimple.toolkits.ide.icfg.BackwardsInterproceduralCFG

All Implemented Interfaces:

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

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

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Set<Unit>	allNonCallEndNodes()
Set<Unit>	allNonCallStartNodes()
Collection<SootMethod>	getCalleesOfCallAt(Unit n)
Collection<Unit>	getCallersOf(SootMethod m)
Set<Unit>	getCallsFromWithin(SootMethod m)
Collection<Unit>	getEndPointsOf(SootMethod m)
SootMethod	getMethodOf(Unit n)
DirectedGraph<Unit>	getOrCreateUnitGraph(SootMethod m)
List<Value>	getParameterRefs(SootMethod m)
List<Unit>	getPredsOf(Unit u)
List<Unit>	getPredsOfCallAt(Unit u)
List<Unit>	getReturnSitesOfCallAt(Unit n)
Collection<Unit>	getStartPointsOf(SootMethod m)
List<Unit>	getSuccsOf(Unit n)
boolean	isBranchTarget(Unit stmt, Unit succ)
boolean	isCallStmt(Unit stmt)
boolean	isExitStmt(Unit stmt)
boolean	isFallThroughSuccessor(Unit stmt, 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 stmt)

Methods inherited from class java.lang.Object

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

Field Detail

delegate

protected final BiDiInterproceduralCFG<Unit,SootMethod> delegate

Constructor Detail

BackwardsInterproceduralCFG

public BackwardsInterproceduralCFG(BiDiInterproceduralCFG<Unit,SootMethod> fwICFG)

Method Detail

getSuccsOf

public List<Unit> getSuccsOf(Unit n)

Specified by:

getSuccsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getStartPointsOf

public Collection<Unit> getStartPointsOf(SootMethod m)

Specified by:

getStartPointsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getReturnSitesOfCallAt

public List<Unit> getReturnSitesOfCallAt(Unit n)

Specified by:

getReturnSitesOfCallAt in interface heros.InterproceduralCFG<Unit,SootMethod>

isExitStmt

public boolean isExitStmt(Unit stmt)

Specified by:

isExitStmt in interface heros.InterproceduralCFG<Unit,SootMethod>

isStartPoint

public boolean isStartPoint(Unit stmt)

Specified by:

isStartPoint in interface heros.InterproceduralCFG<Unit,SootMethod>

allNonCallStartNodes

public Set<Unit> allNonCallStartNodes()

Specified by:

allNonCallStartNodes in interface heros.InterproceduralCFG<Unit,SootMethod>

getPredsOf

public List<Unit> getPredsOf(Unit u)

Specified by:

getPredsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>

Specified by:

getPredsOf in interface heros.InterproceduralCFG<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>

allNonCallEndNodes

public Set<Unit> allNonCallEndNodes()

Specified by:

allNonCallEndNodes in interface BiDiInterproceduralCFG<Unit,SootMethod>

getMethodOf

public SootMethod getMethodOf(Unit n)

Specified by:

getMethodOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getCalleesOfCallAt

public Collection<SootMethod> getCalleesOfCallAt(Unit n)

Specified by:

getCalleesOfCallAt in interface heros.InterproceduralCFG<Unit,SootMethod>

getCallersOf

public Collection<Unit> getCallersOf(SootMethod m)

Specified by:

getCallersOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getCallsFromWithin

public Set<Unit> getCallsFromWithin(SootMethod m)

Specified by:

getCallsFromWithin in interface heros.InterproceduralCFG<Unit,SootMethod>

isCallStmt

public boolean isCallStmt(Unit stmt)

Specified by:

isCallStmt in interface heros.InterproceduralCFG<Unit,SootMethod>

getOrCreateUnitGraph

public DirectedGraph<Unit> getOrCreateUnitGraph(SootMethod m)

Specified by:

getOrCreateUnitGraph in interface BiDiInterproceduralCFG<Unit,SootMethod>

getParameterRefs

public List<Value> getParameterRefs(SootMethod m)

Specified by:

getParameterRefs in interface BiDiInterproceduralCFG<Unit,SootMethod>

isFallThroughSuccessor

public boolean isFallThroughSuccessor(Unit stmt,
                                      Unit succ)

Specified by:

isFallThroughSuccessor in interface heros.InterproceduralCFG<Unit,SootMethod>

isBranchTarget

public boolean isBranchTarget(Unit stmt,
                              Unit succ)

Specified by:

isBranchTarget in interface heros.InterproceduralCFG<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