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