Index of modules

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