Variadic plugin

Directory plugins

Section Variadic (in plugins/variadic)


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