Frama-C API - Security_slicing
Security slicing.
No function is directly exported: they are dynamically registered.
Internal use only
module Components : sig ... endSecurity slicing.
module Security_slicing_parameters : sig ... end