Frama-C:
Plug-ins:
Libraries:

Frama-C API - Security_slicing_gui

module Register_gui : sig ... end

Extension of the GUI for the security plugin.