Frama-C:
Plug-ins:
Libraries:

Frama-C API - BackwardAnalysis

Backward Dataflow analysis. See Interpreted_automata.BackwardAnalysis.

Parameters

module D : Domain

Signature

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