Variadic plugin


Directory plugins

Section Variadic (in plugins/variadic)


Classify
Environment
Extends
Standard integer types in C99 (Cf.
Format_parser
Format_pprint
Rewrites the format as its string representation.
Format_string
Format_typer
Format_types
See C11, 7.21.6
Generic
Options
Register
Standard
Translate
Va_build
Va_types
Function declared and not known by Frama-C
Variadic