Module Cvalue

module Cvalue: sig .. end

Representation of Value's abstract memory.


module CardinalEstimate: sig .. end

Estimation of the cardinal of the concretization of an abstract state or value.

module V: sig .. end

Values.

module V_Or_Uninitialized: sig .. end

Values with 'undefined' and 'escaping addresses' flags.

module V_Offsetmap: sig .. end

Memory slices.

module Default_offsetmap: sig .. end

Values bound by default to a variable.

module Model: sig .. end

Memories.