Frama-C API - Options
module Enabled : Frama_c_kernel.Parameter_sig.BoolWhen enabled, the plugin traverses the current AST, and translates variadic functions, references to va_arg and variadic builtins to a semantically code.
module Strict : Frama_c_kernel.Parameter_sig.BoolIn strict mode, non-portable casts between integral types are forbidden in calls to LibC's variadic functions.