package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val isExportedRoot : Cil_types.global -> bool
val isCompleteProgramRoot : Cil_types.global -> bool
val removeUnused : ?isRoot:(Cil_types.global -> bool) -> Cil_types.file -> unit
val remove_unused_labels : ?is_removable:(Cil_types.label -> bool) -> Cil_types.fundec -> unit

removes unused labels for which is_removable is true. is_removable defaults to the negation of boolean flag of Label i.e. only labels generated by CIL may be removed.

  • since Carbon-20101201
val keepUnused : bool Stdlib.ref
val rmUnusedInlines : bool Stdlib.ref
val rmUnusedStatic : bool Stdlib.ref
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