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 and Description
class	DefaultBoomerangOptions

Fields in boomerang declared as BoomerangOptions

Modifier and Type	Field and Description
protected BoomerangOptions	WeightedBoomerang.options

Methods in boomerang that return BoomerangOptions

Modifier and Type	Method and Description
BoomerangOptions	WeightedBoomerang.getOptions()

Constructors in boomerang with parameters of type BoomerangOptions

Constructor and 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 and Description
StaticCFG(BoomerangOptions options)

Uses of BoomerangOptions in boomerang.flowfunction

Constructors in boomerang.flowfunction with parameters of type BoomerangOptions

Constructor and Description
DefaultBackwardFlowFunction(BoomerangOptions opts)
DefaultForwardFlowFunction(BoomerangOptions opts)

Uses of BoomerangOptions in boomerang.guided

Constructors in boomerang.guided with parameters of type BoomerangOptions

Constructor and 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 and Description
class	IntAndStringBoomerangOptions

Uses of BoomerangOptions in boomerang.solver

Fields in boomerang.solver declared as BoomerangOptions

Modifier and Type	Field and Description
protected BoomerangOptions	AbstractBoomerangSolver.options

Methods in boomerang.solver that return BoomerangOptions

Modifier and Type	Method and Description
BoomerangOptions	ForwardBoomerangSolver.getOptions()

Constructors in boomerang.solver with parameters of type BoomerangOptions

Constructor and 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 and Description
PathTrackingBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions opt)