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 classForwardQueryArrayclassForwardQueryMultiDimensionalArrayclassWeightedForwardQuery<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)voidWeightedBoomerang.FieldWritePOI. execute(ForwardQuery baseAllocation, Query flowAllocation)protected voidWeightedBoomerang. 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)booleanWeightedBoomerang. 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 voidCallGraphDebugger. done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)voidConsoleDebugger. done(Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)voidDebugger. done(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Set<Method> visitedMethods, Map<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers)voidIDEVizDebugger. 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 voidPointOfIndirection. addBaseAllocation(ForwardQuery baseAllocation)abstract voidPointOfIndirection. 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. queryToSolversMethods 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 voidExtractAllocationSiteStateListener. 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.ContextAbstractBoomerangResults. 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 voidAdvancedBoomerangStats. terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)voidCSVBoomerangStatsWriter. terminated(ForwardQuery query, ForwardBoomerangResults<W> res)voidIBoomerangStats. terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)voidSimpleBoomerangStats. 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)
-