Uses of Interface
boomerang.callgraph.ObservableICFG

Packages that use ObservableICFG

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

Uses of ObservableICFG in boomerang

Fields in boomerang declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<Statement,Method>	WeightedBoomerang.icfg

Methods in boomerang that return ObservableICFG

Modifier and Type	Method and Description
ObservableICFG<Statement,Method>	WeightedBoomerang.icfg()

Uses of ObservableICFG in boomerang.callgraph

Classes in boomerang.callgraph that implement ObservableICFG

Modifier and Type	Class and Description
class	BackwardsObservableICFG
class	ObservableDynamicICFG An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.
class	ObservableStaticICFG An interprocedural control-flow graph, for which caller-callee edges can be observed using CalleeListener and CallerListener.

Fields in boomerang.callgraph declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<Statement,Method>	BackwardsObservableICFG.delegate

Constructors in boomerang.callgraph with parameters of type ObservableICFG

Constructor and Description
BackwardsObservableICFG(ObservableICFG<Statement,Method> fwOICFG)

Uses of ObservableICFG in boomerang.debugger

Methods in boomerang.debugger with parameters of type ObservableICFG

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)

Constructors in boomerang.debugger with parameters of type ObservableICFG

Constructor and Description
CallGraphDebugger(File dotFile, ObservableICFG<Statement,Method> icfg)

Uses of ObservableICFG in boomerang.results

Constructors in boomerang.results with parameters of type ObservableICFG

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 ObservableICFG in boomerang.solver

Fields in boomerang.solver declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<Statement,Method>	AbstractBoomerangSolver.icfg

Constructors in boomerang.solver with parameters of type ObservableICFG

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)