Module Initial_state


module Initial_state: sig .. end
Creation of the initial state for Value

exception Initialization_failed
val make_well : Cvalue.V.Top_Param.O.elt ->
Cvalue.Model.t -> Locations.location -> Cvalue.Model.t
val create_hidden_base : bool -> hidden_var_name:string -> name_desc:string -> Cil_types.typ -> Base.t
val initialize_var_using_type : Cil_types.varinfo -> Cvalue.Model.t -> Cvalue.Model.t
initialize_var_using_type varinfo state uses the type of varinfo to create an initial value in state.
val initial_state_only_globals : unit -> Cvalue.Model.t
val initial_state_contextfree_only_globals : unit -> Cvalue.Model.t
Compute only once the initial values for globals and NULL