Uses of Interface
boomerang.flowfunction.IForwardFlowFunction

Packages that use IForwardFlowFunction

Package	Description
boomerang
boomerang.flowfunction
boomerang.solver

Uses of IForwardFlowFunction in boomerang

Methods in boomerang that return IForwardFlowFunction

Modifier and Type	Method	Description
IForwardFlowFunction	BoomerangOptions.getForwardFlowFunctions()
IForwardFlowFunction	DefaultBoomerangOptions.getForwardFlowFunctions()

Uses of IForwardFlowFunction in boomerang.flowfunction

Classes in boomerang.flowfunction that implement IForwardFlowFunction

Modifier and Type	Class	Description
class	DefaultForwardFlowFunction

Uses of IForwardFlowFunction in boomerang.solver

Constructors in boomerang.solver with parameters of type IForwardFlowFunction

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)