Up
–
frama-c-security_slicing
» Security_slicing_gui
Module
Security_slicing_gui
module
Register_gui
:
sig
...
end
Extension of the GUI for the security plugin.