Security_slicing.Components
Security slicing.
val get_direct_component :
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.stmt list
val get_indirect_backward_component :
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.stmt list
val get_forward_component :
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.stmt list
val impact_analysis :
Frama_c_kernel.Kernel_function.t ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.stmt list