Frama-C API - Builtins_string
type str_builtin_sig = Frama_c_kernel.Cvalue.Model.t -> Frama_c_kernel.Cvalue.V.t list -> Frama_c_kernel.Cvalue.V.t * boolA builtin takes the state and a list of values for the arguments, and returns the return value (which can be bottom), and a boolean indicating the possibility of alarms.
val frama_c_strlen_wrapper : str_builtin_sigval frama_c_wcslen_wrapper : str_builtin_sigval frama_c_strchr_wrapper : str_builtin_sigval frama_c_wcschr_wrapper : str_builtin_sigval frama_c_memchr_off_wrapper : str_builtin_sigval frama_c_wmemchr_off_wrapper : str_builtin_sig