Frama-C API - Gauges_domain
Gauges domain ("Arnaud Venet: The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. CAV 2012")
module D : Abstract_domain.Leaf with type value = Frama_c_kernel.Cvalue.V.t and type location = Frama_c_kernel.Precise_locs.precise_locationval registered : Abstractions.Domain.registered