C | |
Classify | Checks if the given name is the name of a Frama-C builtin |
E | |
Enabled [Options] | |
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 | |
R | |
Register | Register the plugin in the Frama-C kernel. |
Replacements | |
S | |
Self [Options] | |
Standard | |
Strict [Options] | |
T | |
Translate | |
Typ [Extends] | |
V | |
Va_types | |
Variadic |