Module Server_api

module Analysis_requests : sig ... end

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

module Ast_requests : sig ... end

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

module Callstack_requests : sig ... end
module Mthread_requests : sig ... end

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

module Results : sig ... end

Eva's result API is a new interface to access the results of an analysis, once it is completed. It may slightly change in the future.

module Stats_requests : sig ... end

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

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

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