Frama-C:
Plug-ins:
Libraries:

Frama-C API - tactical

method id : string
method title : string
method descr : string
method params : parameter list
method reset : unit
method get_field : 'a. 'a field -> 'a
method set_field : 'a. 'a field -> 'a -> unit
method select : feedback -> selection -> status