Frama-C API - Symbolic_locs
Domain that store information on non-precise l-values such as t[i] or *p when i or p is not exact.
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