Frama-C:
Plug-ins:
Libraries:

Frama-C API - form

method label : string -> unit
method item : GObj.widget -> unit
method row : GObj.widget -> unit