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 and 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 and Description
void	IBackwardFlowFunction.setSolver(BackwardBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)
void	DefaultBackwardFlowFunction.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 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)

Uses of BackwardBoomerangSolver in boomerang.results

Constructors in boomerang.results with parameters of type BackwardBoomerangSolver

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