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 |