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 |