Frama-C:
Plug-ins:
Libraries:

Frama-C API - Main_locations

Main memory locations of Eva that can be used by abstract domains.

module PLoc : sig ... end

Abstract locations built over Precise_locs.