Frama-C:
Plug-ins:
Libraries:

Frama-C API - Main

Frama-C main interface.

  • since Lithium-20081201
  • before 29.0-Copper

    it was in a module named Db

val extend : (unit -> unit) -> unit

Register a function to be called by the Frama-C main entry point.