Frama-C:
Plug-ins:
Libraries:

Frama-C API - Loc

type location

See Abstract_location.enumerate_valid_bits