Uses of Class
boomerang.BackwardQuery

Packages that use BackwardQuery

Package	Description
boomerang
boomerang.guided
boomerang.results
boomerang.solver
boomerang.stats

Uses of BackwardQuery in boomerang

Methods in boomerang that return BackwardQuery

Modifier and Type	Method and Description
static BackwardQuery	BackwardQuery.make(ControlFlowGraph.Edge edge, Val variable)

Methods in boomerang that return types with arguments of type BackwardQuery

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

Methods in boomerang with parameters of type BackwardQuery

Modifier and Type	Method and Description
protected void	WeightedBoomerang.backwardSolve(BackwardQuery query)
protected void	WholeProgramBoomerang.backwardSolve(BackwardQuery query)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query, boolean timing)
BackwardBoomerangResults<W>	WeightedBoomerang.solveUnderScope(BackwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery)

Uses of BackwardQuery in boomerang.guided

Methods in boomerang.guided with parameters of type BackwardQuery

Modifier and Type	Method and Description
Collection<Query>	IDemandDrivenGuidedManager.onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
Collection<Query>	SimpleSpecificationGuidedManager.onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)

Uses of BackwardQuery in boomerang.results

Methods in boomerang.results with parameters of type BackwardQuery

Modifier and Type	Method and Description
protected abstract void	ExtractAllocationSiteStateListener.allocationSiteFound(ForwardQuery allocationSite, BackwardQuery query)

Constructors in boomerang.results with parameters of type BackwardQuery

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)
ExtractAllocationSiteStateListener(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> state, BackwardQuery bwQuery, ForwardQuery query)

Uses of BackwardQuery in boomerang.solver

Constructors in boomerang.solver with parameters of type BackwardQuery

Constructor and Description

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)

Uses of BackwardQuery in boomerang.stats

Methods in boomerang.stats with parameters of type BackwardQuery

Modifier and Type	Method and Description
void	SimpleBoomerangStats.terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)
void	IBoomerangStats.terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)
void	CSVBoomerangStatsWriter.terminated(BackwardQuery query, BackwardBoomerangResults<W> res)
void	AdvancedBoomerangStats.terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)