Frama-C:

Plug-ins:

Libraries:

Frama-C API - `browser`

method title : string

method descr : string

method target : Wp.Tactical.selection

method search : (unit Wp.Tactical.named -> unit) -> int -> bool

method choose : string option -> unit

Frama-C API - browser