Frama-C:
Plug-ins:
Libraries:

Frama-C API - Boot

module Main : sig ... end

Frama-C main interface.

val play_analysis : unit -> unit

Run all the Frama-C analyses. This function should be called only by toplevels.

  • since 29.0-Copper
val boot : unit -> unit

Start and define the Frama-C kernel main loop.

val set_toplevel : ((unit -> unit) -> unit) -> unit

Changes the toplevel function to run on boot

  • since 29.0-Copper
  • before 29.0-Copper

    it was provided in a different way in Db.Toplevel