Module Options


module Options: sig .. end

Security parameters



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