Frama-C:
Plug-ins:
Libraries:

Frama-C API - ForwardAnalysis

Forward Dataflow analysis. See Interpreted_automata.ForwardAnalysis.

Parameters

module D : Domain

Signature

val fixpoint : automaton -> D.t -> D.t Vertex.Hashtbl.t