module Options: sig
.. end
Security parameters
module P: Plugin.Register
(
sig
end
)
include P
module Analysis: False
(
sig
end
)
Whether perform security analysis or not.
module Lattice: String
(
sig
end
)
Security lattice to use.
module PropagateAssertions: False
(
sig
end
)
Propagate security assertions when possible.
module Slicing: False
(
sig
end
)
Perform the security slicing pre-analysis.
val is_on : unit -> bool
module LogicAnnotation: EmptyString
(
sig
end
)
Which kind of security logical annotations are recognized.
val get_selection_after_slicing : unit -> Project.Selection.t