Module Security_slicing.Components

Security slicing.

val get_indirect_backward_component : Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.stmt list