Frama-C:
Plug-ins:
Libraries:

Frama-C API - Config_data

module Sites : sig ... end
module Plugins : sig ... end