Previous  Up  Next

Module Initialization

module Initialization: sig .. end
Creation of the inital state of abstract domain.

Padding value. The exact contents (bottom | zero | top_int), initialized or not, is determined from lib_entry and option -val-initialization-padding-globals

module type S = sig .. end
module Make: 
functor (Value : Abstract_value.S) -> 
functor (Loc : Abstract_location.S  with type value = Value.t) -> 
functor (Domain : Abstract_domain.External  with type value = Value.t
                                       and type location = Loc.location) -> 
functor (Eva : Evaluation.S  with type state = Domain.state
                        and type value = Domain.value
                        and type origin = Domain.origin
                        and type loc = Domain.location) -> S  with type state := Domain.t