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	Description
protected ObservableICFG<Statement,Method>	WeightedBoomerang.icfg

Methods in boomerang that return ObservableICFG

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

Uses of ObservableICFG in boomerang.callgraph

Classes in boomerang.callgraph that implement ObservableICFG

Modifier and Type	Class	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	Description
protected ObservableICFG<Statement,Method>	BackwardsObservableICFG.delegate

Constructors in boomerang.callgraph with parameters of type ObservableICFG

Constructor	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	Description
void	CallGraphDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	Debugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	IDEVizDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph confg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> solvers)

Constructors in boomerang.debugger with parameters of type ObservableICFG

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

Uses of ObservableICFG in boomerang.results

Constructors in boomerang.results with parameters of type ObservableICFG

Constructor

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	Description
protected ObservableICFG<Statement,Method>	AbstractBoomerangSolver.icfg

Constructors in boomerang.solver with parameters of type ObservableICFG

Constructor	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)