sig
val fold_dynamic_bases :
(Base.t -> Value_types.Callstack.t -> 'a -> 'a) -> 'a -> 'a
val alloc_size_ok : Cvalue.V.t -> Alarmset.status
val free_automatic_bases :
Value_types.Callstack.t -> Cvalue.Model.t -> Cvalue.Model.t
val freeable : Cvalue.V.t -> Abstract_interp.truth
val register_malloced_base :
?stack:Value_types.Callstack.t -> Base.t -> unit
end