package frama-c

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

retrieve local variables with __fc_destructor attribute and add the appropriate calls to the corresponding destructor function when we exit the scope of the variable.

Argument of the attribute can take the following forms:

  • AStr f, where f is the name of the function to call.
  • ACons (f, [AInt n]), where f is the name of the function to call and n an argument that will be passed to f in addition to the variable. Will be used for destructing local C++ arrays.
  • AAddrOf a where a is of the form above, to indicate that the destructor should be given the address of the variable and not the variable directly
val transform_category : File.code_transformation_category

category of the transformation. Should be done after any transformation susceptible to change the CFG of the program (e.g. Exn_flow.transform_category)

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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