Module Eval_stmts


module Eval_stmts: sig .. end
Value analysis of statements and functions bodies

exception Wrong_function_type
val need_cast : Cil_types.typ -> Cil_types.typ -> bool
val offsetmap_of_lv : with_alarms:CilE.warn_mode ->
Cvalue.Model.t -> Cil_types.lval -> Cvalue.V_Offsetmap_ext.t option
exception Got_bottom
val compute_actual : with_alarms:CilE.warn_mode ->
bool * bool ->
Cvalue.Model.t ->
Cil_types.exp -> Cil_types.exp * Cvalue.V.t * Cvalue.V_Offsetmap_ext.t
val compute_call_ref : (Kernel_function.t ->
call_kinstr:Cil_types.kinstr ->
Cvalue.Model.t ->
(Cil_types.exp * Cvalue.V.t * Cvalue.V_Offsetmap_ext.t) list ->
Cvalue.V_Offsetmap.t option * Cvalue.Model.t *
Locations.Location_Bits.Top_Param.t)
Pervasives.ref
module Computer: 
functor (AnalysisParam : sig
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool
val is_natural_loop : Cil_types.stmt -> bool
val slevel : int
val initial_state : State_set.t
val active_behaviors : Eval_logic.ActiveBehaviors.t
end) -> sig .. end