Classify | Checks if the given name is the name of a Frama-C builtin |
Environment | |
Extends | |
Format_parser | |
Format_pprint | |
Format_string | |
Format_typer | |
Format_types | See C11, 7.21.6 |
Generic | |
Options | |
Register | Register the plugin in the Frama-C kernel. |
Replacements | |
Standard | |
Translate | |
Va_types | |
Variadic |