module Make: functor (
X
:
sig
val use_ctrl_dependencies : bool
end
) ->
sig
.. end
Parameters: |
X |
: |
sig val use_ctrl_dependencies: bool end
|
|
val init : unit -> unit
val is_concerned_by_security : 'a -> bool
Return true
if the given statement belongs to one security
component.
val fold_fold : ('a -> t -> 'b -> 'a) -> ('b -> Cil_types.stmt -> 'b) -> 'a -> 'b -> 'a
fold_fold f g init_f init_g
folds g
on each statement s
of each
security component c
. This folding is initialized with init_g
and
returns c_result
. Next, f
is folded on each security component c
using c_result
. This second folding is initialized with init_f
.
Security slicing
val slice : unit -> Project.t
Slice the application according to the security components:
all the resulting statement belongs to a security components.