Uses of Class
boomerang.solver.ForwardBoomerangSolver

Packages that use ForwardBoomerangSolver

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

Uses of ForwardBoomerangSolver in boomerang

Methods in boomerang that return ForwardBoomerangSolver

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

Methods in boomerang that return types with arguments of type ForwardBoomerangSolver

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

Methods in boomerang with parameters of type ForwardBoomerangSolver

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

Uses of ForwardBoomerangSolver in boomerang.controlflowgraph

Constructors in boomerang.controlflowgraph with parameters of type ForwardBoomerangSolver

Constructor	Description
ForwardSolverSuccessorListener(ControlFlowGraph.Edge curr, ForwardQuery query, Val value, Method method, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, org.slf4j.Logger LOGGER, ForwardBoomerangSolver owner)

Uses of ForwardBoomerangSolver in boomerang.debugger

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

Modifier and Type	Method	Description
void	CallGraphDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	ConsoleDebugger.done(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)

Uses of ForwardBoomerangSolver in boomerang.flowfunction

Methods in boomerang.flowfunction with parameters of type ForwardBoomerangSolver

Modifier and Type	Method	Description
void	DefaultForwardFlowFunction.setSolver(ForwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)
void	IForwardFlowFunction.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	Description
protected ForwardBoomerangSolver<W>	ExecuteImportFieldStmtPOI.baseSolver
protected ForwardBoomerangSolver<W>	ExecuteImportFieldStmtPOI.flowSolver

Constructors in boomerang.poi with parameters of type ForwardBoomerangSolver

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

Uses of ForwardBoomerangSolver in boomerang.results

Fields in boomerang.results with type parameters of type ForwardBoomerangSolver

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

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

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