module Components:sig
..end
Security slicing.
val get_node_stmt : PdgTypes.Node.t -> Cil_types.stmt option
module NodeKf:Datatype.Pair
(
PdgTypes.Node
)
(
Kernel_function
)
module Todolist:sig
..end
module Component:sig
..end
val register : string ->
Component.kind -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
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 : Kernel_function.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
module Components:sig
..end