Frama-C:
Plug-ins:
Libraries:

Frama-C API - Plugins

Unless you are working in the kernel of Frama-C, you should not use this.

val dirs : Filepath.Normalized.t list

Directories where the Frama-C dynamic plug-ins are located.

val path : string

The colon-separated concatenation of dirs.

val load : string -> unit

Load given plug-in name

val load_all : unit -> unit

Load all plug-ins, do not load GUI plug-in when not in GTK GUI mode