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