Uses of Class
boomerang.Query
-
Packages that use Query Package Description boomerang boomerang.guided boomerang.poi boomerang.results boomerang.scene boomerang.solver boomerang.stats -
-
Uses of Query in boomerang
Subclasses of Query in boomerang Modifier and Type Class Description classBackwardQueryclassForwardQueryclassForwardQueryArrayclassForwardQueryMultiDimensionalArrayclassWeightedForwardQuery<W extends wpds.impl.Weight>Methods in boomerang that return types with arguments of type Query Modifier and Type Method Description Set<Query>QueryGraph. getNodes()Methods in boomerang with parameters of type Query Modifier and Type Method Description voidQueryGraph. addEdge(Query parent, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, Query child)voidQueryGraph. addRoot(Query root)voidWeightedBoomerang.FieldWritePOI. execute(ForwardQuery baseAllocation, Query flowAllocation)booleanQueryGraph. isRoot(Query q)voidSolverCreationListener. onCreatedSolver(Query query, AbstractBoomerangSolver<W> solver)voidWeightedBoomerang. onCreateSubSolver(Query key, AbstractBoomerangSolver<W> solver)voidWeightedBoomerang. printAutomata(Query q)BackwardBoomerangResults<W>WeightedBoomerang. solveUnderScope(BackwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery)ForwardBoomerangResults<W>WeightedBoomerang. solveUnderScope(ForwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery) -
Uses of Query in boomerang.guided
Methods in boomerang.guided that return types with arguments of type Query Modifier and Type Method Description Collection<Query>IDemandDrivenGuidedManager. onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)Collection<Query>SimpleSpecificationGuidedManager. onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)Collection<Query>IDemandDrivenGuidedManager. onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)Collection<Query>SimpleSpecificationGuidedManager. onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)Methods in boomerang.guided with parameters of type Query Modifier and Type Method Description QueryGraph<wpds.impl.Weight.NoWeight>DemandDrivenGuidedAnalysis. run(Query query)The query graph takes as input an initial query from which all follow up computations are computed. -
Uses of Query in boomerang.poi
Methods in boomerang.poi with parameters of type Query Modifier and Type Method Description voidPointOfIndirection. addFlowAllocation(Query flowAllocation)abstract voidPointOfIndirection. execute(ForwardQuery baseAllocation, Query flowAllocation) -
Uses of Query in boomerang.results
Methods in boomerang.results that return Query Modifier and Type Method Description QueryNullPointerDereference. getQuery()QueryQueryResults. getQuery()Methods in boomerang.results with parameters of type Query Modifier and Type Method Description booleanBackwardBoomerangResults. aliases(Query el)Constructors in boomerang.results with parameters of type Query Constructor Description NullPointerDereference(Query query, ControlFlowGraph.Edge statement, Val variable, wpds.impl.PAutomaton<Statement,sync.pds.solver.nodes.INode<Val>> openingContext, wpds.impl.PAutomaton<Statement,sync.pds.solver.nodes.INode<Val>> closingContext, List<PathElement> dataFlowPath)QueryResults(Query query, Set<AffectedLocation> npes, Set<Method> visMethod, boolean timedout) -
Uses of Query in boomerang.scene
Methods in boomerang.scene that return types with arguments of type Query Modifier and Type Method Description Collection<Query>AnalysisScope. computeSeeds()protected abstract Collection<? extends Query>AnalysisScope. generate(ControlFlowGraph.Edge seed) -
Uses of Query in boomerang.solver
Methods in boomerang.solver that return Query Modifier and Type Method Description QueryForwardBoomerangSolver. getQuery()Methods in boomerang.solver with parameters of type Query Modifier and Type Method Description sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>AbstractBoomerangSolver. createQueryNodeField(Query query) -
Uses of Query in boomerang.stats
Methods in boomerang.stats with parameters of type Query Modifier and Type Method Description voidAdvancedBoomerangStats. registerSolver(Query key, AbstractBoomerangSolver<W> solver)voidCSVBoomerangStatsWriter. registerSolver(Query key, AbstractBoomerangSolver<W> solver)voidIBoomerangStats. registerSolver(Query key, AbstractBoomerangSolver<W> solver)voidSimpleBoomerangStats. registerSolver(Query key, AbstractBoomerangSolver<W> solver)
-