Module Components

module Components: sig .. end
Security slicing.

Searching security annotations



val get_direct_component : Cil_types.stmt -> Cil_types.stmt list
val get_indirect_backward_component : Cil_types.stmt -> Cil_types.stmt list
val get_forward_component : Cil_types.stmt -> Cil_types.stmt list
val impact_analysis : Kernel_function.t -> Cil_types.stmt -> Cil_types.stmt list