Functions.Libc
Given the name of C library function return true if there is a drop-in replacement function for it in the RTL.
Given the name of C library function return the name of the RTL function that potentially replaces it.
val is_memcpy : Frama_c_kernel.Cil_types.exp -> bool
Return true
if exp
captures a function name that matches memcpy
or an equivalent function
val is_memset : Frama_c_kernel.Cil_types.exp -> bool
Return true
if exp
captures a function name that matches memset
or an equivalent function
val is_vla_free : Frama_c_kernel.Cil_types.exp -> bool
Return true
if exp
captures a function name that matches a function that allocates memory for a variable-size array.
Return true
if string
captures a function name that matches a function that deallocates memory for a variable-size array.
val get_printf_argument_str :
loc:Frama_c_kernel.Cil_types.location ->
string ->
Frama_c_kernel.Cil_types.exp list ->
Frama_c_kernel.Cil_types.exp
Given the name of a printf-like function and the list of its variadic arguments return a literal string expression where each character describes the type of an argument from a list. Such characters are also called abbreviated types. Conversion between abbreviated and C types characters is as follows:
_Bool
signed char
unsigned char
int
unsigned int
short
unsigned short
long
unsigned long
long long
unsigned long long
float
double
long double
char*
int*
void*