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