Module Server_apiSource

Sourcemodule Analysis_requests : sig ... end

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

Sourcemodule Ast_requests : sig ... end

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

Sourcemodule Callstack_requests : sig ... end
Sourcemodule Mthread_requests : sig ... end

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

Sourcemodule 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.

Sourcemodule Stats_requests : sig ... end

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

Sourcemodule Taint_requests : sig ... end
Sourcemodule Update : sig ... end
Sourcemodule Value_requests : sig ... end

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