Frama-C:
Plug-ins:
Libraries:

Frama-C API - PrintSlice

val print_fct_from_pdg : Stdlib.Format.formatter -> ?ff:SlicingInternals.fct_slice -> Pdg_types.PdgTypes.Pdg.t -> unit
val print_marked_ff : Stdlib.Format.formatter -> SlicingInternals.fct_slice -> unit
val print_original_glob : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.global -> unit
val print_fct_stmts : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit
val build_dot_project : Frama_c_kernel.Filepath.t -> string -> unit