Frama-C:

Plug-ins:

Libraries:

Frama-C API - `DepsOfInput`

Input for MakeDepsOf functor.

type location

val enumerate_valid_bits : Frama_c_kernel.Locations.access -> location -> Frama_c_kernel.Locations.Zone.t

See Abstract_location.enumerate_valid_bits

Frama-C API - DepsOfInput