package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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)