package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Results of an evaluation: the results of all intermediate calculation (the value of each expression and the location of each lvalue) are cached here. See Eval for more details.

type t
type value = value

Abstract value.

type origin = origin

Origin of values.

type loc = loc

Abstract memory location.

val empty : t
val fold : (Frama_c_kernel.Cil_types.exp -> (value, origin) Eva.Eval.record_val -> 'a -> 'a) -> t -> 'a -> 'a
val remove : t -> Frama_c_kernel.Cil_types.exp -> t
val remove_loc : t -> Frama_c_kernel.Cil_types.lval -> t