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 and Description
IForwardFlowFunction	DefaultBoomerangOptions.getForwardFlowFunctions()
IForwardFlowFunction	BoomerangOptions.getForwardFlowFunctions()

Uses of IForwardFlowFunction in boomerang.flowfunction

Classes in boomerang.flowfunction that implement IForwardFlowFunction

Modifier and Type	Class and Description
class	DefaultForwardFlowFunction

Uses of IForwardFlowFunction in boomerang.solver

Constructors in boomerang.solver with parameters of type IForwardFlowFunction

Constructor and 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)