Index of values

A
add [Replacements]

add replaced original stores the association of the original and the replaced functions in a project state.

add_vpar [Generic]
aggregator_call [Standard]
B
break [Extends.List]
C
check_f_format [Format_parser]
check_f_specification [Format_parser]
check_format [Format_parser]
check_s_format [Format_parser]
check_s_specification [Format_parser]
classify [Classify]

Build a variadic function record for the given varinfo according to its classification.

D
drop [Extends.List]
F
f_format_to_cstring [Format_pprint]

Rewrites the format as its string representation.

fallback_fun_call [Standard]
find [Replacements]
find_enum [Environment]
find_function [Environment]
find_global [Environment]
find_struct [Environment]
find_type [Environment]
find_typedef [Environment]
find_union [Environment]
format_fun_call [Standard]
format_to_cstring [Format_pprint]
from_file [Environment]
G
get_char [Format_string]
get_wchar [Format_string]
ghost_partitioned_params [Extends.Typ]
I
ifind [Extends.List]
is_frama_c_builtin [Classify]
is_va_builtin [Classify]

Checks if the given name is the name of one of the variadic va_* builtins

is_variadic_function [Classify]

Checks if a varinfo is a variadic function

M
make [Extends.List]
mapi2 [Extends.List]
mem [Replacements]
N
new_globals [Standard]
O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

overloaded_call [Standard]
P
params [Extends.Typ]
params_count [Extends.Typ]
params_types [Extends.Typ]
parse_f_format [Format_parser]
parse_format [Format_parser]
parse_s_format [Format_parser]
pp_cs [Format_pprint]
pp_f_format [Format_pprint]
pp_f_specification [Format_pprint]
pp_flag [Format_pprint]
pp_flags [Format_pprint]
pp_format [Format_pprint]
pp_fw [Format_pprint]
pp_lm [Format_pprint]
pp_precision [Format_pprint]
pp_s_format [Format_pprint]
pp_s_specification [Format_pprint]
S
s_format_to_cstring [Format_pprint]
sub_string [Format_string]
T
take [Extends.List]
translate_call [Generic]
translate_type [Generic]
translate_va_builtin [Generic]
translate_variadics [Translate]
type_f_format [Format_typer]
type_f_specifier [Format_typer]
type_format [Format_typer]
type_s_format [Format_typer]
type_s_specifier [Format_typer]
V
vpar [Generic]
W
wkey_format [Options]
wkey_libc [Options]
wkey_libc_framac [Options]
wkey_prototype [Options]
wkey_typing [Options]