Module Components

module Components: sig .. end

Searching security annotations

Computing security components

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