Uses of Class
boomerang.ForwardQuery

Packages that use ForwardQuery

Package	Description
boomerang
boomerang.poi
boomerang.results
boomerang.solver
boomerang.stats
boomerang.weights

Uses of ForwardQuery in boomerang

Subclasses of ForwardQuery in boomerang

Modifier and Type	Class and Description
class	WeightedForwardQuery<W extends Weight>

Methods in boomerang with parameters of type ForwardQuery

Modifier and Type	Method and Description
BackwardBoomerangResults<W>	WholeProgramBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
BackwardBoomerangResults<W>	WeightedBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
protected ForwardBoomerangSolver<W>	WeightedBoomerang.createForwardSolver(ForwardQuery sourceQuery)
void	WeightedBoomerang.FieldWritePOI.execute(ForwardQuery baseAllocation, Query flowAllocation)
void	WeightedBoomerang.FieldReadPOI.execute(ForwardQuery baseAllocation, Query flowAllocation)
protected void	WeightedBoomerang.forwardHandleFieldWrite(Node<Statement,Val> node, WeightedBoomerang.FieldWritePOI fieldWritePoi, ForwardQuery sourceQuery)
protected WeightFunctions<Statement,Val,Statement,Weight.NoWeight>	Boomerang.getForwardCallWeights(ForwardQuery sourceQuery)
protected abstract WeightFunctions<Statement,Val,Statement,W>	WeightedBoomerang.getForwardCallWeights(ForwardQuery sourceQuery)
boolean	WeightedBoomerang.preventCallRuleAdd(ForwardQuery sourceQuery, Rule<Statement,INode<Val>,W> rule)
ForwardBoomerangResults<W>	WeightedBoomerang.solve(ForwardQuery query)

Uses of ForwardQuery in boomerang.poi

Methods in boomerang.poi with parameters of type ForwardQuery

Modifier and Type	Method and Description
void	PointOfIndirection.addBaseAllocation(ForwardQuery baseAllocation)
abstract void	PointOfIndirection.execute(ForwardQuery baseAllocation, Query flowAllocation)

Uses of ForwardQuery in boomerang.results

Methods in boomerang.results that return types with arguments of type ForwardQuery

Modifier and Type	Method and Description
Map<ForwardQuery,AbstractBoomerangResults.Context>	BackwardBoomerangResults.getAllocationSites()

Methods in boomerang.results with parameters of type ForwardQuery

Modifier and Type	Method and Description
protected abstract void	ExtractAllocationSiteStateListener.allocationSiteFound(ForwardQuery allocationSite, BackwardQuery query)
com.google.common.collect.Table<Statement,Val,W>	AbstractBoomerangResults.asStatementValWeightTable(ForwardQuery query)
protected AbstractBoomerangResults.Context	AbstractBoomerangResults.constructContextGraph(ForwardQuery forwardQuery, Node<Statement,Val> targetFact)
Set<Node<Statement,Val>>	BackwardBoomerangResults.getDataFlowPath(ForwardQuery query) Computes the set of statements (and variables at these statements) relevant for data-flow propagation.

Constructors in boomerang.results with parameters of type ForwardQuery

Constructor and Description
Context(Node<Statement,Val> node, ForwardQuery forwardQuery)
ExtractAllocationSiteStateListener(INode<Node<Statement,Val>> state, BackwardQuery bwQuery, ForwardQuery query)
ForwardBoomerangResults(ForwardQuery query, ObservableICFG<soot.Unit,soot.SootMethod> icfg, boolean timedout, heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)

Uses of ForwardQuery in boomerang.solver

Constructors in boomerang.solver with parameters of type ForwardQuery

Constructor and Description
ForwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, ForwardQuery 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 ForwardQuery in boomerang.stats

Methods in boomerang.stats with parameters of type ForwardQuery

Modifier and Type	Method and Description
void	IBoomerangStats.terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)
void	SimpleBoomerangStats.terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)
void	CSVBoomerangStatsWriter.terminated(ForwardQuery query, ForwardBoomerangResults<W> res)
void	AdvancedBoomerangStats.terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)

Uses of ForwardQuery in boomerang.weights

Methods in boomerang.weights with parameters of type ForwardQuery

Modifier and Type	Method and Description
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>	PathTrackingBoomerang.getForwardCallWeights(ForwardQuery sourceQuery)