package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

frama-c.com Readme Edit opam file Versions (27)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-28.0-beta-Nickel.tar.gz

sha256=0c80dae8074fcb3f6a33d7a41faf9939a2a336478a8d2c79e20e2d7bab953735

doc/frama-c-sparecode.core/Sparecode/Register/index.html

Module `Sparecode.Register`

val get : 
  select_annot:bool ->
  select_slice_pragma: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 pragmas when select_slice_pragmas 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. *