Module Security_slicing_parameters

module Security_slicing_parameters: sig .. end

Security parameters


include Plugin.S
module Slicing: Parameter_sig.Bool 

Perform the security slicing pre-analysis.