package frama-c

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

Managing machine-dependent information.

val gen_all_defines : Stdlib.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