module SlicingTransform:sig
..end
Export a CIL application from a slicing project
Export the slicing project
val default_slice_names : Cil_types.kernel_function -> bool -> int -> string
val extract : f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
string -> 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)