Uses of Class
boomerang.BackwardQuery

Packages that use BackwardQuery

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

Uses of BackwardQuery in boomerang

Methods in boomerang with parameters of type BackwardQuery

Modifier and Type	Method and Description
protected void	WeightedBoomerang.backwardHandleFieldRead(Node<Statement,Val> node, WeightedBoomerang.FieldReadPOI fieldRead, BackwardQuery sourceQuery)
protected void	WholeProgramBoomerang.backwardSolve(BackwardQuery query)
protected void	WeightedBoomerang.backwardSolve(BackwardQuery query)
BackwardBoomerangResults<W>	WholeProgramBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
BackwardBoomerangResults<W>	WeightedBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
BackwardBoomerangResults<W>	WeightedBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, IContextRequester requester)
protected AbstractBoomerangSolver<W>	WeightedBoomerang.createBackwardSolver(BackwardQuery backwardQuery)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query, boolean timing)

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, heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)
ExtractAllocationSiteStateListener(INode<Node<Statement,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<soot.Unit,soot.SootMethod> icfg, BackwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)

Uses of BackwardQuery in boomerang.stats

Methods in boomerang.stats with parameters of type BackwardQuery

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