B | |
| Build [Standard] | |
| Build [Generic] | |
C | |
| Cil [Standard] | |
| Cil [Extends] | |
| Classify | |
E | |
| Enabled [Options] | |
| Environment | |
| Extends |
Standard integer types in C99 (Cf.
|
F | |
| Format_parser | |
| Format_pprint |
Réécrit le format sous sa forme de chaîne de caractères
|
| Format_typer | |
| Format_types |
positive integer
|
G | |
| Generic | |
L | |
| List [Standard] | |
| List [Generic] | |
| List [Extends] | |
O | |
| Options | |
R | |
| Register | |
S | |
| Self [Options] | |
| Standard | |
| Strict [Options] | |
T | |
| Table [Environment] | |
| Translate | |
| Typ [Translate] | |
| Typ [Classify] | |
| Typ [Standard] | |
| Typ [Generic] | |
| Typ [Extends] | |
V | |
| Va_build | |
| Va_types |
Function declared and not known by Frama-C
|
| Variadic |