Frama-C:
Plug-ins:
Libraries:

Frama-C API - Server_api

module Analysis_requests : sig ... end
module Ast_requests : sig ... end

Requests registered to the Frama-C server; nothing is exported.

module Mthread_requests : sig ... end

Requests registered to the Frama-C server; nothing is exported.

module Stats_requests : sig ... end

Requests registered to the Frama-C server; nothing is exported.

module Taint_requests : sig ... end
module Value_requests : sig ... end

Requests registered to the Frama-C server; nothing is exported.