Module Dynamic_plugins.Security_slicing

module Security_slicing: sig .. end

val get_forward_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
Access it by Dynamic.get ~plugin:"Security_slicing" "get_forward_component" (Datatype.func Cil_datatype.Stmt.ty (Datatype.list Cil_datatype.Stmt.ty))
val impact_analysis : Cil_datatype.Kf.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
Access it by Dynamic.get ~plugin:"Security_slicing" "impact_analysis" (Datatype.func Kernel_function.ty (Datatype.func Cil_datatype.Stmt.ty (Datatype.list Cil_datatype.Stmt.ty)))
val get_direct_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
Access it by Dynamic.get ~plugin:"Security_slicing" "get_direct_component" (Datatype.func Cil_datatype.Stmt.ty (Datatype.list Cil_datatype.Stmt.ty))
val get_indirect_backward_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
Access it by Dynamic.get ~plugin:"Security_slicing" "get_indirect_backward_component" (Datatype.func Cil_datatype.Stmt.ty (Datatype.list Cil_datatype.Stmt.ty))