sig
  type state
  type value
  type location
  val get_stmt_state :
    Cil_types.stmt -> Analysis.Results.state Eval.or_bottom
  val get_kinstr_state :
    Cil_types.kinstr -> Analysis.Results.state Eval.or_bottom
  val get_stmt_state_by_callstack :
    after:bool ->
    Cil_types.stmt ->
    Analysis.Results.state Value_types.Callstack.Hashtbl.t
    Eval.or_top_or_bottom
  val get_initial_state_by_callstack :
    Cil_types.kernel_function ->
    Analysis.Results.state Value_types.Callstack.Hashtbl.t
    Eval.or_top_or_bottom
  val eval_expr :
    Analysis.Results.state ->
    Cil_types.exp -> Analysis.Results.value Eval.evaluated
  val copy_lvalue :
    Analysis.Results.state ->
    Cil_types.lval ->
    Analysis.Results.value Eval.flagged_value Eval.evaluated
  val eval_lval_to_loc :
    Analysis.Results.state ->
    Cil_types.lval -> Analysis.Results.location Eval.evaluated
  val eval_function_exp :
    Analysis.Results.state ->
    Cil_types.exp -> Cil_types.kernel_function list Eval.evaluated
end