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-31.0-beta-Gallium.tar.gz

sha256=095ffbb3086a6cd963a03e3defab4f0dc32e9a43f026e552ec9ae346a6e20522

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 ->
  (Filepath.t -> Filepath.t -> string) ->
  string ->
  Filepath.t