Functor Interpreted_automata.Dataflow

module Dataflow: 
functor (D : Domain-> sig .. end
Builds a simple dataflow analysis over an input domain.
Parameters:
D : Domain

val fixpoint : Cil_types.kernel_function -> D.t -> D.t Interpreted_automata.Vertex.Hashtbl.t