Module Single_value_abstraction

module Interval : sig ... end

Single value abstraction using intervals

module Known_bits : sig ... end

Abstracts a number by bitwise information: each bit is marked by a bitvalue which is either One, Zero or Unknown

module Product : sig ... end

Combine single value abstraction using (reduced) products

module Sentinel : sig ... end

Simple abstraction that just store whether a number is Zero, NonZero or Top.

module Sig : sig ... end

Common signature of all single value abstractions

module Ternary : sig ... end

Simple abstraction of boolean values, including transfer function for the usual boolean operations.