Uses of Class
boomerang.ForwardQuery

Packages that use ForwardQuery

Package	Description
boomerang
boomerang.controlflowgraph
boomerang.debugger
boomerang.flowfunction
boomerang.guided
boomerang.poi
boomerang.results
boomerang.solver
boomerang.stats
boomerang.weights

Uses of ForwardQuery in boomerang

Subclasses of ForwardQuery in boomerang

Modifier and Type	Class	Description
class	ForwardQueryArray
class	ForwardQueryMultiDimensionalArray
class	WeightedForwardQuery<W extends wpds.impl.Weight>

Methods in boomerang that return types with arguments of type ForwardQuery

Modifier and Type	Method	Description
DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>	WeightedBoomerang.getSolvers()

Methods in boomerang with parameters of type ForwardQuery

Modifier and Type	Method	Description
protected ForwardBoomerangSolver<W>	WeightedBoomerang.createForwardSolver(ForwardQuery sourceQuery)
void	WeightedBoomerang.FieldWritePOI.execute(ForwardQuery baseAllocation, Query flowAllocation)
protected void	WeightedBoomerang.forwardHandleFieldWrite(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, WeightedBoomerang.FieldWritePOI fieldWritePoi, ForwardQuery sourceQuery)
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight>	Boomerang.getForwardCallWeights(ForwardQuery sourceQuery)
protected abstract sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,W>	WeightedBoomerang.getForwardCallWeights(ForwardQuery sourceQuery)
com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W>	WeightedBoomerang.getResults(ForwardQuery seed)
boolean	WeightedBoomerang.preventCallRuleAdd(ForwardQuery sourceQuery, wpds.impl.Rule<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> rule)
ForwardBoomerangResults<W>	WeightedBoomerang.solve(ForwardQuery query)
ForwardBoomerangResults<W>	WeightedBoomerang.solveUnderScope(ForwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery)

Uses of ForwardQuery in boomerang.controlflowgraph

Constructors in boomerang.controlflowgraph with parameters of type ForwardQuery

Constructor	Description
ForwardSolverSuccessorListener(ControlFlowGraph.Edge curr, ForwardQuery query, Val value, Method method, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, org.slf4j.Logger LOGGER, ForwardBoomerangSolver owner)

Uses of ForwardQuery in boomerang.debugger

Method parameters in boomerang.debugger with type arguments of type ForwardQuery

Modifier and Type	Method	Description
void	CallGraphDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	ConsoleDebugger.done(Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	Debugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)
void	IDEVizDebugger.done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph confg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> solvers)

Uses of ForwardQuery in boomerang.flowfunction

Methods in boomerang.flowfunction with parameters of type ForwardQuery

Modifier and Type	Method	Description
Collection<wpds.interfaces.State>	DefaultForwardFlowFunction.callToReturnFlow(ForwardQuery query, ControlFlowGraph.Edge edge, Val fact)
Collection<wpds.interfaces.State>	IForwardFlowFunction.callToReturnFlow(ForwardQuery query, ControlFlowGraph.Edge edge, Val fact)	Called by the forward analysis, when data-flow by-passes a call site with data-flow fact.
Set<wpds.interfaces.State>	DefaultForwardFlowFunction.normalFlow(ForwardQuery query, ControlFlowGraph.Edge nextEdge, Val fact)
Collection<wpds.interfaces.State>	IForwardFlowFunction.normalFlow(ForwardQuery query, ControlFlowGraph.Edge edge, Val fact)	Called by the forward analysis, for any non return statements or call site statements.

Uses of ForwardQuery in boomerang.guided

Methods in boomerang.guided with parameters of type ForwardQuery

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

Uses of ForwardQuery in boomerang.poi

Methods in boomerang.poi with parameters of type ForwardQuery

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

Uses of ForwardQuery in boomerang.results

Fields in boomerang.results with type parameters of type ForwardQuery

Modifier and Type	Field	Description
protected DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>	AbstractBoomerangResults.queryToSolvers

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

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

Methods in boomerang.results with parameters of type ForwardQuery

Modifier and Type	Method	Description
protected abstract void	ExtractAllocationSiteStateListener.allocationSiteFound(ForwardQuery allocationSite, BackwardQuery query)
com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W>	AbstractBoomerangResults.asEdgeValWeightTable(ForwardQuery query)
com.google.common.collect.Table<Statement,Val,W>	AbstractBoomerangResults.asStatementValWeightTable(ForwardQuery query)
protected AbstractBoomerangResults.Context	AbstractBoomerangResults.constructContextGraph(ForwardQuery forwardQuery, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> targetFact)
Set<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>	BackwardBoomerangResults.getDataFlowPath(ForwardQuery query)	Deprecated.

Constructors in boomerang.results with parameters of type ForwardQuery

Constructor	Description
Context(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, ForwardQuery forwardQuery)
ExtractAllocationSiteStateListener(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> state, BackwardQuery bwQuery, ForwardQuery query)
ForwardBoomerangResults(ForwardQuery query, ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch, Set<Method> visitedMethods, boolean trackDataFlowPath, boolean pruneContradictoryDataFlowPath, boolean pruneImplictFlows)

Constructor parameters in boomerang.results with type arguments of type ForwardQuery

Constructor	Description
AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap)
BackwardBoomerangResults(BackwardQuery query, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, BackwardBoomerangSolver<W> backwardSolver, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)
ForwardBoomerangResults(ForwardQuery query, ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch, Set<Method> visitedMethods, boolean trackDataFlowPath, boolean pruneContradictoryDataFlowPath, boolean pruneImplictFlows)

Uses of ForwardQuery in boomerang.solver

Constructors in boomerang.solver with parameters of type ForwardQuery

Constructor

Description

ForwardBoomerangSolver(ObservableICFG<Statement,Method> callGraph, ObservableControlFlowGraph cfg, ForwardQuery query, 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, 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, IForwardFlowFunction flowFunctions, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements, Type propagationType)

Uses of ForwardQuery in boomerang.stats

Methods in boomerang.stats with parameters of type ForwardQuery

Modifier and Type	Method	Description
void	AdvancedBoomerangStats.terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)
void	CSVBoomerangStatsWriter.terminated(ForwardQuery query, ForwardBoomerangResults<W> res)
void	IBoomerangStats.terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)
void	SimpleBoomerangStats.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	Description
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>	PathTrackingBoomerang.getForwardCallWeights(ForwardQuery sourceQuery)