module SlicingTransform:sig
..end
Export a CIL application from a slicing project
val exists_fun_callers : (Kernel_function.t -> bool) -> Kernel_function.t -> bool
val is_src_fun_visible : SlicingInternals.project -> Kernel_function.t -> bool
true
if the source function is visible
(even indirectly via transitivity) from a Slice.t
.val is_src_fun_called : SlicingInternals.project -> Kernel_function.t -> bool
true
if the source function is called
(even indirectly via transitivity) from a Slice.t
.module Visibility:functor (
SliceName
:
sig
val get :Cil_types.kernel_function -> bool -> int -> string
end
) ->
sig
..end
val default_slice_names : Kernel_function.t -> 'a -> int -> string
val extract : f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
string -> Db.Slicing.Project.t -> Project.t
f_slice_names
.
(see db.mli)