Uses of Interface
boomerang.BoomerangOptions
-
Packages that use BoomerangOptions Package Description boomerang boomerang.controlflowgraph boomerang.flowfunction boomerang.guided boomerang.scene.jimple boomerang.solver boomerang.weights -
-
Uses of BoomerangOptions in boomerang
Classes in boomerang that implement BoomerangOptions Modifier and Type Class Description classDefaultBoomerangOptionsFields in boomerang declared as BoomerangOptions Modifier and Type Field Description protected BoomerangOptionsWeightedBoomerang. optionsMethods in boomerang that return BoomerangOptions Modifier and Type Method Description BoomerangOptionsWeightedBoomerang. getOptions()Constructors in boomerang with parameters of type BoomerangOptions Constructor Description Boomerang(CallGraph callGraph, DataFlowScope scope, BoomerangOptions opt)WeightedBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions options)WholeProgramBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions opts) -
Uses of BoomerangOptions in boomerang.controlflowgraph
Constructors in boomerang.controlflowgraph with parameters of type BoomerangOptions Constructor Description StaticCFG(BoomerangOptions options) -
Uses of BoomerangOptions in boomerang.flowfunction
Constructors in boomerang.flowfunction with parameters of type BoomerangOptions Constructor Description DefaultBackwardFlowFunction(BoomerangOptions opts)DefaultForwardFlowFunction(BoomerangOptions opts) -
Uses of BoomerangOptions in boomerang.guided
Constructors in boomerang.guided with parameters of type BoomerangOptions Constructor Description DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options)DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options, DataFlowScope dataFlowScope) -
Uses of BoomerangOptions in boomerang.scene.jimple
Classes in boomerang.scene.jimple that implement BoomerangOptions Modifier and Type Class Description classIntAndStringBoomerangOptions -
Uses of BoomerangOptions in boomerang.solver
Fields in boomerang.solver declared as BoomerangOptions Modifier and Type Field Description protected BoomerangOptionsAbstractBoomerangSolver. optionsMethods in boomerang.solver that return BoomerangOptions Modifier and Type Method Description BoomerangOptionsForwardBoomerangSolver. getOptions()Constructors in boomerang.solver with parameters of type BoomerangOptions Constructor Description AbstractBoomerangSolver(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, 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, Type propagationType)BackwardBoomerangSolver(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, 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, BackwardQuery query, 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, IBackwardFlowFunction backwardFlowFunction, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements, Type propagationType)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)Strategies(BoomerangOptions opts, AbstractBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements) -
Uses of BoomerangOptions in boomerang.weights
Constructors in boomerang.weights with parameters of type BoomerangOptions Constructor Description PathTrackingBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions opt)
-