module Components: sig
.. end
Searching security annotations
Security slicing.
Searching security annotations
Computing security components
val get_node_stmt : Db.Pdg.t_node -> Cil_types.stmt option
module NodeKf: Datatype.Pair
(
PdgTypes.Node
)
(
Kernel_function
)
type
bwd_kind =
type
fwd_kind =
type
kind =
val pretty_kind : Format.formatter -> kind -> unit
Debugging purpose only
module Memo: sig
.. end
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
type
t = Cil_types.stmt
module Components: sig
.. end
Security component table: a security component is represented by the
statement at which a security verification should occur.