Index of modules

C
Classify

Checks if the given name is the name of a Frama-C builtin

E
Enabled [Options]
Enabled [Variadic.Options]

When enabled, the plugin traverses the current AST, and translates variadic functions, references to va_arg and variadic builtins to a semantically code.

Environment
Extends
F
Format_parser
Format_pprint
Format_string
Format_typer
Format_types

See C11, 7.21.6

G
Generic
L
List [Extends]
O
Options
Options [Variadic]
R
Register

Register the plugin in the Frama-C kernel.

Replacements
S
Self [Options]
Standard
Strict [Options]
Strict [Variadic.Options]

In strict mode, non-portable casts between integral types are forbidden in calls to LibC's variadic functions.

T
Translate
Typ [Extends]
V
Va_types
Variadic