Uses of Class
boomerang.solver.BackwardBoomerangSolver

Packages that use BackwardBoomerangSolver

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

Uses of BackwardBoomerangSolver in boomerang

Methods in boomerang that return types with arguments of type BackwardBoomerangSolver

Modifier and Type	Method	Description
DefaultValueMap<BackwardQuery,BackwardBoomerangSolver<W>>	WeightedBoomerang.getBackwardSolvers()

Uses of BackwardBoomerangSolver in boomerang.flowfunction

Methods in boomerang.flowfunction with parameters of type BackwardBoomerangSolver

Modifier and Type	Method	Description
void	DefaultBackwardFlowFunction.setSolver(BackwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)
void	IBackwardFlowFunction.setSolver(BackwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)

Uses of BackwardBoomerangSolver in boomerang.poi

Constructors in boomerang.poi with parameters of type BackwardBoomerangSolver

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)

Uses of BackwardBoomerangSolver in boomerang.results

Constructors in boomerang.results with parameters of type BackwardBoomerangSolver

Constructor	Description
BackwardBoomerangResults(BackwardQuery query, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, BackwardBoomerangSolver<W> backwardSolver, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)