Frama-C API - Main_locations
Common location abstractions shared by many abstract domains.
Main memory locations of Eva that can be used by abstract domains.
module PLoc : sig ... endAbstract locations built over Precise_locs.
val ploc : PLoc.location Abstract_location.dependencies