Module Options.Analysis


module Analysis: False(sig
val option_name : string
val descr : string
end)
Whether perform security analysis or not.