Functor Interpreted_automata.ForwardAnalysis

module ForwardAnalysis: 
functor (D : Domain-> DataflowAnalysis with type state = D.t

Forward dataflow analysis. The domain must provide a forward transfer function that computes the state after a transition from the state before.

Parameters:
D : Domain

type state 
type result 
val fixpoint : ?wto:Interpreted_automata.wto ->
Cil_types.kernel_function ->
state ->
result
module Result: sig .. end