module Components: sig
.. end
Searching security annotations
Type of a security component
Searching security annotations
module Security_Annotations: Cil_computation.StmtSetRef
(
sig
end
)
The state of statement for which a security verification should occur.
val is_security_predicate : Cil_types.predicate Cil_types.named -> bool
val has_security_requirement : Kernel_function.t -> bool
val search_security_requirements : unit -> unit
Computing security components
include Cilutil.StmtComparable
A security component of a statement s
is given by s
.
val get_node_stmt : Db.Pdg.t_node -> Cil_types.stmt option
module NodeKf: sig
.. end
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
module Components: sig
.. end
Security component table: a security component is represented by the
statement at which a security verification should occur.
module Nodes: Computation.SetRef
(
sig
end
)
(
sig
end
)
val use_ctrl_dependencies : bool Pervasives.ref
module Make: functor (
X
:
sig
val use_ctrl_dependencies : bool
end
) ->
sig
.. end