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
end
) ->
sig
.. end