Module Dynamic_plugins.Security_slicing

module Security_slicing: sig .. end

val get_direct_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val get_indirect_backward_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val get_forward_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val impact_analysis : Cil_datatype.Kf.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list