Module Builtins_string

module Builtins_string: sig .. end

A builtin takes the state and a list of values for the arguments, and returns the offsetmap of the return value (None if bottom), and a boolean indicating the possibility of alarms.


type str_builtin_sig = Cvalue.Model.t -> Cvalue.V.t list -> Cvalue.V_Offsetmap.t option * bool 
val frama_c_strlen_wrapper : str_builtin_sig
val frama_c_wcslen_wrapper : str_builtin_sig
val frama_c_strchr_wrapper : str_builtin_sig
val frama_c_wcschr_wrapper : str_builtin_sig