| 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 |