Frama-C API - Components
Security 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