Module SlicingTransform

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)
val is_src_fun_called : Cil_types.kernel_function -> bool
Return true if the source function is called (even indirectly via transitivity) from a Slice.t.
val is_src_fun_visible : Cil_types.kernel_function -> bool
Return true if the source function is visible (even indirectly via transitivity) from a Slice.t.