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

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

Managing machine-dependent information.

val gen_all_defines : Format.formatter -> Cil_types.mach -> unit

Prints on the given formatter all #define directives required by share/libc/features.h and other system-dependent headers.

val generate_machdep_header : Cil_types.mach -> Filepath.Normalized.t

generates a __fc_machdep.h file in a temp directory and returns the directory name, to be added to the search path for preprocessing stdlib