Functor Components.Make


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.