Uses of Interface
boomerang.controlflowgraph.ObservableControlFlowGraph

Packages that use ObservableControlFlowGraph

Package	Description
boomerang
boomerang.callgraph
boomerang.controlflowgraph
boomerang.debugger
boomerang.results
boomerang.solver

Uses of ObservableControlFlowGraph in boomerang

Fields in boomerang declared as ObservableControlFlowGraph

Modifier and Type	Field and Description
protected ObservableControlFlowGraph	WeightedBoomerang.cfg

Methods in boomerang that return ObservableControlFlowGraph

Modifier and Type	Method and Description
ObservableControlFlowGraph	WeightedBoomerang.cfg()

Uses of ObservableControlFlowGraph in boomerang.callgraph

Constructors in boomerang.callgraph with parameters of type ObservableControlFlowGraph

Constructor and Description
ObservableDynamicICFG(ObservableControlFlowGraph cfg, ICallerCalleeResolutionStrategy resolutionStrategy)

Uses of ObservableControlFlowGraph in boomerang.controlflowgraph

Classes in boomerang.controlflowgraph that implement ObservableControlFlowGraph

Modifier and Type	Class and Description
class	DynamicCFG
class	StaticCFG

Uses of ObservableControlFlowGraph in boomerang.debugger

Methods in boomerang.debugger with parameters of type ObservableControlFlowGraph

Modifier and Type	Method and Description
void	IDEVizDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph confg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> solvers)
void	Debugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	CallGraphDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)

Uses of ObservableControlFlowGraph in boomerang.results

Constructors in boomerang.results with parameters of type ObservableControlFlowGraph

Constructor and Description

ForwardBoomerangResults(ForwardQuery query, ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch, Set<Method> visitedMethods, boolean trackDataFlowPath, boolean pruneContradictoryDataFlowPath, boolean pruneImplictFlows)

Uses of ObservableControlFlowGraph in boomerang.solver

Fields in boomerang.solver declared as ObservableControlFlowGraph

Modifier and Type	Field and Description
protected ObservableControlFlowGraph	AbstractBoomerangSolver.cfg

Constructors in boomerang.solver with parameters of type ObservableControlFlowGraph

Constructor and Description
AbstractBoomerangSolver(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Map<Map.Entry<sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,Field>,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> genField, BoomerangOptions options, wpds.impl.NestedWeightedPAutomatons<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> callSummaries, wpds.impl.NestedWeightedPAutomatons<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> fieldSummaries, DataFlowScope scope, Type propagationType)
BackwardBoomerangSolver(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Map<Map.Entry<sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,Field>,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> genField, BackwardQuery query, BoomerangOptions options, wpds.impl.NestedWeightedPAutomatons<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> callSummaries, wpds.impl.NestedWeightedPAutomatons<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> fieldSummaries, DataFlowScope scope, IBackwardFlowFunction backwardFlowFunction, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements, Type propagationType)
ForwardBoomerangSolver(ObservableICFG<Statement,Method> callGraph, ObservableControlFlowGraph cfg, ForwardQuery query, Map<Map.Entry<sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,Field>,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> genField, BoomerangOptions options, wpds.impl.NestedWeightedPAutomatons<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> callSummaries, wpds.impl.NestedWeightedPAutomatons<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> fieldSummaries, DataFlowScope scope, IForwardFlowFunction flowFunctions, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements, Type propagationType)