package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val get : select_annot:bool -> select_slice_annot:bool -> Frama_c_kernel.Project.t

Remove in each function what isn't used to compute its outputs, or its annotations when select_annot is true, or its slicing annotations when select_slice_annot is true.

  • returns

    a new project where the sparecode has been removed.

val rm_unused_globals : ?new_proj_name:string -> ?project:Frama_c_kernel.Project.t -> unit -> Frama_c_kernel.Project.t

Remove unused global types and variables from the given project (the current one if no project given). The source project is not modified. The result is in the returned new project.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct