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