Module SlicingTransform


module SlicingTransform: sig .. end
Export the slicing project

Export a CIL application from a slicing project


val is_fi_top : T.t_fct_info -> T.t_pdg_mark option
val exists_fun_callers : (Kernel_function.t -> bool) -> Kernel_function.t -> bool
val is_src_fun_visible : M.T.t_project -> Kernel_function.t -> bool
Return true if the source function is visible (even indirectly via transitivity) from a Slice.t.
val is_src_fun_called : M.T.t_project -> Kernel_function.t -> bool
Return true if the source function is called (even indirectly via transitivity) from a Slice.t.
module Visibility: 
functor (SliceName : sig
val get : Db_types.kernel_function -> bool -> int -> string
end) -> sig .. end
val default_slice_names : Kernel_function.t -> 'a -> int -> string
val extract : f_slice_names:(Db_types.kernel_function -> bool -> int -> string) ->
string -> Db.Slicing.Project.t -> Project.t
Apply the actions still waiting in the project and transform the program (CIL AST) using slicing results Can optionally specify how to name the sliced functions using f_slice_names. (see db.mli)