Uses of Class
boomerang.solver.ForwardBoomerangSolver

Packages that use ForwardBoomerangSolver

Package	Description
boomerang
boomerang.debugger
boomerang.flowfunction
boomerang.poi
boomerang.results

Uses of ForwardBoomerangSolver in boomerang

Methods in boomerang that return ForwardBoomerangSolver

Modifier and Type	Method and Description
protected ForwardBoomerangSolver<W>	WeightedBoomerang.createForwardSolver(ForwardQuery sourceQuery)

Methods in boomerang that return types with arguments of type ForwardBoomerangSolver

Modifier and Type	Method and Description
DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>	WeightedBoomerang.getSolvers()

Methods in boomerang with parameters of type ForwardBoomerangSolver

Modifier and Type	Method and Description
protected void	WeightedBoomerang.handleMapsForward(ForwardBoomerangSolver<W> solver, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)

Uses of ForwardBoomerangSolver in boomerang.debugger

Method parameters in boomerang.debugger with type arguments of type ForwardBoomerangSolver

Modifier and Type	Method and Description
void	ConsoleDebugger.done(Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
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 ForwardBoomerangSolver in boomerang.flowfunction

Methods in boomerang.flowfunction with parameters of type ForwardBoomerangSolver

Modifier and Type	Method and Description
void	IForwardFlowFunction.setSolver(ForwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)
void	DefaultForwardFlowFunction.setSolver(ForwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)

Uses of ForwardBoomerangSolver in boomerang.poi

Fields in boomerang.poi declared as ForwardBoomerangSolver

Modifier and Type	Field and Description
protected ForwardBoomerangSolver<W>	ExecuteImportFieldStmtPOI.baseSolver
protected ForwardBoomerangSolver<W>	ExecuteImportFieldStmtPOI.flowSolver

Constructors in boomerang.poi with parameters of type ForwardBoomerangSolver

Constructor and Description
CopyAccessPathChain(ForwardBoomerangSolver<W> forwardSolver, BackwardBoomerangSolver<W> backwardSolver, ControlFlowGraph.Edge fieldWriteStatement, wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> killedTransition)
ExecuteImportFieldStmtPOI(ForwardBoomerangSolver<W> baseSolver, ForwardBoomerangSolver<W> flowSolver, AbstractPOI<ControlFlowGraph.Edge,Val,Field> poi)
ExecuteImportFieldStmtPOI(ForwardBoomerangSolver<W> baseSolver, ForwardBoomerangSolver<W> flowSolver, AbstractPOI<ControlFlowGraph.Edge,Val,Field> poi)

Uses of ForwardBoomerangSolver in boomerang.results

Fields in boomerang.results with type parameters of type ForwardBoomerangSolver

Modifier and Type	Field and Description
protected DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>	AbstractBoomerangResults.queryToSolvers

Constructor parameters in boomerang.results with type arguments of type ForwardBoomerangSolver

Constructor and Description
AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap)
BackwardBoomerangResults(BackwardQuery query, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, BackwardBoomerangSolver<W> backwardSolver, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)
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)