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 java.lang.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 and Description
protected BiDiInterproceduralCFG<Unit,SootMethod>	delegate

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<Unit>	allNonCallEndNodes()
java.util.Set<Unit>	allNonCallStartNodes()
java.util.Collection<SootMethod>	getCalleesOfCallAt(Unit n)
java.util.Collection<Unit>	getCallersOf(SootMethod m)
java.util.Set<Unit>	getCallsFromWithin(SootMethod m)
java.util.Collection<Unit>	getEndPointsOf(SootMethod m)
SootMethod	getMethodOf(Unit n)
DirectedGraph<Unit>	getOrCreateUnitGraph(SootMethod m)
java.util.List<Value>	getParameterRefs(SootMethod m)
java.util.List<Unit>	getPredsOf(Unit u)
java.util.List<Unit>	getPredsOfCallAt(Unit u)
java.util.List<Unit>	getReturnSitesOfCallAt(Unit n)
java.util.Collection<Unit>	getStartPointsOf(SootMethod m)
java.util.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	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 java.util.List<Unit> getSuccsOf(Unit n)

Specified by:

getSuccsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getStartPointsOf

public java.util.Collection<Unit> getStartPointsOf(SootMethod m)

Specified by:

getStartPointsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getReturnSitesOfCallAt

public java.util.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 java.util.Set<Unit> allNonCallStartNodes()

Specified by:

allNonCallStartNodes in interface heros.InterproceduralCFG<Unit,SootMethod>

getPredsOf

public java.util.List<Unit> getPredsOf(Unit u)

Specified by:

getPredsOf in interface heros.InterproceduralCFG<Unit,SootMethod>

Specified by:

getPredsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>

getEndPointsOf

public java.util.Collection<Unit> getEndPointsOf(SootMethod m)

Specified by:

getEndPointsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>

getPredsOfCallAt

public java.util.List<Unit> getPredsOfCallAt(Unit u)

Specified by:

getPredsOfCallAt in interface BiDiInterproceduralCFG<Unit,SootMethod>

allNonCallEndNodes

public java.util.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 java.util.Collection<SootMethod> getCalleesOfCallAt(Unit n)

Specified by:

getCalleesOfCallAt in interface heros.InterproceduralCFG<Unit,SootMethod>

getCallersOf

public java.util.Collection<Unit> getCallersOf(SootMethod m)

Specified by:

getCallersOf in interface heros.InterproceduralCFG<Unit,SootMethod>

getCallsFromWithin

public java.util.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 java.util.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