sig
type state
val eval_expr :
with_alarms:CilE.warn_mode ->
Eval.Domain.state -> Cil_types.exp -> Eval.Domain.state * Cvalue_type.V.t
val do_assign :
with_alarms:CilE.warn_mode ->
Eval.Domain.state -> Cil_types.lval -> Cil_types.exp -> Eval.Domain.state
val eval_cond :
with_alarms:CilE.warn_mode ->
Eval.Domain.state -> Eval.cond -> Eval.Domain.state
val widen : Eval.Domain.state -> Eval.Domain.state -> Eval.Domain.state
val join : Eval.Domain.state -> Eval.Domain.state -> Eval.Domain.state
val call :
Db_types.kernel_function -> Eval.Domain.state -> Eval.Domain.state
val return :
Db_types.kernel_function -> Eval.Domain.state -> Eval.Domain.state
end