Frama-C:
Plug-ins:
Libraries:

Frama-C API - 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)