Frama-C API - Offsm_domain
module D : Abstract_domain.Leaf with type value = Offsm_value.offsm_or_top and type location = Frama_c_kernel.Precise_locs.precise_locationval registered : Abstractions.Domain.registered
Frama-C Frama-C Offsm_domainmodule D : Abstract_domain.Leaf with type value = Offsm_value.offsm_or_top and type location = Frama_c_kernel.Precise_locs.precise_locationval registered : Abstractions.Domain.registered