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 Dependency

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

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

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

sha256=0c80dae8074fcb3f6a33d7a41faf9939a2a336478a8d2c79e20e2d7bab953735

doc/frama-c.kernel/Frama_c_kernel/Logic_preprocess/index.html

Module `Frama_c_kernel.Logic_preprocess`

adds another preprocessing step in order to expand macros in annotations.

file suffix cpp file takes the file to preprocess, and the preprocessing directive, and returns the name of the file containing the completely preprocessed source. suffix will be appended to the name of intermediate files generated for preprocessing annotations (gcc preprocessing differs between .c and .cxx files)

raises Sys_error
if the file cannot be opened.

val file : 
  string ->
  (string -> string -> string) ->
  string ->
  Datatype.Filepath.t