Domain
Abstract domain for the dataflow analysis. See Interpreted_automata.Domain.
Interpreted_automata.Domain
type t
val join : t -> t -> t
val widen : t -> t -> t widening
val transfer : (vertex * edge * vertex) -> t -> t option
Frama-C