Module Cvalue_init

module Cvalue_init: sig .. end

Creation of the initial state for Value


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.