Frama-C:
Plug-ins:
Libraries:

Frama-C API - Offsetmap_bitwise_sig

Signature for Offsetmap_bitwise module, that implement efficient maps from intervals to values.

Values are simpler than those of the Offsetmap_sig module: given a value v bound to an interval i, all sub-intervals of i are implicitly also bound to v. If you need e.g. to extract the k-th bit of the interval to retrieve a more precise value, you must use the Offsetmap module instead.

module type S = sig ... end