package frama-c

  1. Overview
  2. Docs
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)

OCaml

Innovation. Community. Security.