Uses of Interface
boomerang.flowfunction.IBackwardFlowFunction

Packages that use IBackwardFlowFunction

Package	Description
boomerang
boomerang.flowfunction
boomerang.solver

Uses of IBackwardFlowFunction in boomerang

Methods in boomerang that return IBackwardFlowFunction

Modifier and Type	Method	Description
IBackwardFlowFunction	BoomerangOptions.getBackwardFlowFunction()
IBackwardFlowFunction	DefaultBoomerangOptions.getBackwardFlowFunction()

Uses of IBackwardFlowFunction in boomerang.flowfunction

Classes in boomerang.flowfunction that implement IBackwardFlowFunction

Modifier and Type	Class	Description
class	DefaultBackwardFlowFunction

Uses of IBackwardFlowFunction in boomerang.solver

Constructors in boomerang.solver with parameters of type IBackwardFlowFunction

Constructor

Description

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)