Uses of Class
sootup.core.graph.ControlFlowGraph

Packages that use ControlFlowGraph

Package	Description
sootup.analysis.interprocedural.icfg
sootup.analysis.intraprocedural
sootup.analysis.intraprocedural.reachingdefs
sootup.core.graph
sootup.core.jimple.common
sootup.core.model
sootup.core.util
sootup.core.util.printer
sootup.interceptors
sootup.interceptors.typeresolving
sootup.java.core.exceptions

Uses of ControlFlowGraph in sootup.analysis.interprocedural.icfg

Fields in sootup.analysis.interprocedural.icfg with type parameters of type ControlFlowGraph

Modifier and Type	Field	Description
protected com.google.common.cache.LoadingCache<Body,ControlFlowGraph<?>>	AbstractJimpleBasedICFG.bodyToControlFlowGraph

Methods in sootup.analysis.interprocedural.icfg that return ControlFlowGraph

Modifier and Type	Method	Description
ControlFlowGraph<?>	AbstractJimpleBasedICFG.getOrCreateControlFlowGraph(Body body)
ControlFlowGraph<?>	AbstractJimpleBasedICFG.getOrCreateControlFlowGraph(SootMethod method)
ControlFlowGraph<?>	BackwardsInterproceduralCFG.getOrCreateControlFlowGraph(SootMethod m)
ControlFlowGraph	BiDiInterproceduralCFG.getOrCreateControlFlowGraph(M body)
protected ControlFlowGraph<?>	AbstractJimpleBasedICFG.makeGraph(Body body)

Method parameters in sootup.analysis.interprocedural.icfg with type arguments of type ControlFlowGraph

Modifier and Type	Method	Description
static String	ICFGDotExporter.buildICFGGraph(Map<MethodSignature,ControlFlowGraph<?>> signatureToControlFlowGraph, View view, CallGraph callGraph)
void	JimpleBasedInterproceduralCFG.computeAllCalls(List<MethodSignature> entryPoints, Map<MethodSignature,ControlFlowGraph<?>> signatureToControlFlowGraph, CallGraph callGraph)
static Map<Integer,MethodSignature>	ICFGDotExporter.computeCalls(Map<MethodSignature,ControlFlowGraph<?>> controlFlowGraphSet, View view, CallGraph callgraph)	This method finds out all the calls made in the given signatureToControlFlowGraphs, so it can be edged to other methods.

Uses of ControlFlowGraph in sootup.analysis.intraprocedural

Fields in sootup.analysis.intraprocedural declared as ControlFlowGraph

Modifier and Type	Field	Description
protected final ControlFlowGraph<? extends BasicBlock<?>>	AbstractFlowAnalysis.graph	The graph being analysed.

Constructors in sootup.analysis.intraprocedural with parameters of type ControlFlowGraph

Modifier	Constructor	Description
	AbstractFlowAnalysis(ControlFlowGraph<? extends BasicBlock<?>> graph)	Constructs a flow analysis on the given ControlFlowGraph.
	BackwardFlowAnalysis(ControlFlowGraph<B> graph)	Construct the analysis from ControlFlowGraph.
	FlowAnalysis(@NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)	Constructs a flow analysis on the given DirectedGraph.
	ForwardFlowAnalysis(ControlFlowGraph<B> graph)	Construct the analysis from ControlFlowGraph.

Uses of ControlFlowGraph in sootup.analysis.intraprocedural.reachingdefs

Constructors in sootup.analysis.intraprocedural.reachingdefs with parameters of type ControlFlowGraph

Modifier	Constructor	Description
	ReachingDefs(ControlFlowGraph<? extends BasicBlock<?>> graph)

Uses of ControlFlowGraph in sootup.core.graph

Subclasses of ControlFlowGraph in sootup.core.graph

Modifier and Type	Class	Description
class	BackwardsControlFlowGraph<V extends BasicBlock<V>>
class	ForwardingControlFlowGraph<V extends BasicBlock<V>>	forwarding implementation for encapsulating a ControlFlowGraph.
class	ImmutableBlockControlFlowGraph
class	MutableBlockControlFlowGraph
class	MutableControlFlowGraph

Fields in sootup.core.graph declared as ControlFlowGraph

Modifier and Type	Field	Description
protected final @NonNull ControlFlowGraph<V>	ForwardingControlFlowGraph.backingGraph

Methods in sootup.core.graph that return ControlFlowGraph

Modifier and Type	Method	Description
static ControlFlowGraph<?>	MutableBlockControlFlowGraph.createUnmodifiableControlFlowGraph(ControlFlowGraph<?> controlFlowGraph)
@NonNull ControlFlowGraph<?>	MutableBlockControlFlowGraph.unmodifiableControlFlowGraph()
abstract @NonNull ControlFlowGraph<?>	MutableControlFlowGraph.unmodifiableControlFlowGraph()

Methods in sootup.core.graph with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
static ControlFlowGraph<?>	MutableBlockControlFlowGraph.createUnmodifiableControlFlowGraph(ControlFlowGraph<?> controlFlowGraph)

Constructors in sootup.core.graph with parameters of type ControlFlowGraph

Modifier	Constructor	Description
	BackwardsControlFlowGraph(@NonNull ControlFlowGraph<V> controlFlowGraph)
	BlockGraphIterator(ControlFlowGraph<?> controlFlowGraph)
	ControlFlowGraphBlockIterator(@NonNull ControlFlowGraph graph, @NonNull List<Trap> traps)
protected	DominanceFinder(@NonNull ControlFlowGraph<?> blockGraph, BlockAnalysisDirection direction)
	DominanceFinder(ControlFlowGraph<?> blockGraph)
	ForwardingControlFlowGraph(@NonNull ControlFlowGraph<V> backingGraph)
	MutableBlockControlFlowGraph(@NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)	copies a ControlFlowGraph into this Mutable instance
	PostDominanceFinder(ControlFlowGraph<?> blockGraph)
	PostOrderBlockTraversal(ControlFlowGraph<?> cfg)
	ReversePostOrderBlockTraversal(ControlFlowGraph<?> cfg)

Uses of ControlFlowGraph in sootup.core.jimple.common

Methods in sootup.core.jimple.common with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
List<Stmt>	Local.getDefsForLocalUse(ControlFlowGraph<?> graph, Stmt stmt)	Get all definition-stmts which define the given local used by the given stmt.

Uses of ControlFlowGraph in sootup.core.model

Methods in sootup.core.model that return ControlFlowGraph

Modifier and Type	Method	Description
@NonNull ControlFlowGraph<?>	Body.getControlFlowGraph()

Methods in sootup.core.model with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
static Collection<LValue>	Body.getDefs(ControlFlowGraph<?> graph)
static Local	Body.getThisLocal(ControlFlowGraph<?> controlFlowGraph)	Returns the LHS of the first identity stmt assigning from \@this.

Uses of ControlFlowGraph in sootup.core.util

Methods in sootup.core.util with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
static String	DotExporter.buildGraph(@NonNull ControlFlowGraph<?> graph, boolean isICFG, Map<Integer,MethodSignature> calls, MethodSignature methodSignature)
static String	DotExporter.createUrlToWebeditor(@NonNull ControlFlowGraph<?> graph)

Uses of ControlFlowGraph in sootup.core.util.printer

Fields in sootup.core.util.printer declared as ControlFlowGraph

Modifier and Type	Field	Description
protected ControlFlowGraph<?>	StmtPrinter.graph

Methods in sootup.core.util.printer that return ControlFlowGraph

Modifier and Type	Method	Description
@NonNull ControlFlowGraph<?>	StmtPrinter.getGraph()

Methods in sootup.core.util.printer with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
JNopStmt	LabeledStmtPrinter.buildTraps(ControlFlowGraph controlFlowGraph)	hint: little expensive getter - its more of a build/create - currently no overlaps
@NonNull Collection<Stmt>	LabeledStmtPrinter.getLabeledStmts(ControlFlowGraph<?> controlFlowGraph, List<Trap> traps)	Returns the result of iterating through all Stmts in this body.
Iterable<Stmt>	LabeledStmtPrinter.initializeSootMethod(@NonNull ControlFlowGraph<?> controlFlowGraph)	createLabelMaps
void	JimplePrinter.printTo(ControlFlowGraph<?> graph, PrintWriter out)
void	JimplePrinter.printTo(ControlFlowGraph<?> graph, PrintWriter out, LabeledStmtPrinter printer)

Constructors in sootup.core.util.printer with parameters of type ControlFlowGraph

Modifier	Constructor	Description
	BriefStmtPrinter(ControlFlowGraph controlFlowGraph)

Uses of ControlFlowGraph in sootup.interceptors

Constructors in sootup.interceptors with parameters of type ControlFlowGraph

Modifier	Constructor	Description
	LocalLivenessAnalyser(@NonNull ControlFlowGraph<?> graph)

Uses of ControlFlowGraph in sootup.interceptors.typeresolving

Methods in sootup.interceptors.typeresolving with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
@Nullable Type	AugEvalFunction.evaluate(@NonNull Typing typing, @NonNull Value value, @NonNull Stmt stmt, @NonNull ControlFlowGraph<?> graph)	This method is used to evaluate the type of the given value which the given stmt and body belongs to.

Uses of ControlFlowGraph in sootup.java.core.exceptions

Methods in sootup.java.core.exceptions with parameters of type ControlFlowGraph

Modifier and Type	Method	Description
ExceptionInferResult	StmtExceptionAnalyzer.mightThrow(@NonNull Stmt stmt, @NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)
ExceptionInferResult	StmtExceptionAnalyzer.mightThrowExplicitly(@NonNull JThrowStmt throwStmt, @NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)