Frama-C:
Plug-ins:
Libraries:

Frama-C API - Segmentation

type bound = Bound.t
type submemory
type t
val pretty : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val weak_erase : Abstract_memory.Bit.t -> t -> t
val is_included : t -> t -> bool
val single : Abstract_memory.bit -> bound -> bound -> submemory -> t
val read : oracle:Abstract_memory.oracle -> (submemory -> 'a) -> ('a -> 'a -> 'a) -> t -> bound -> bound -> 'a
val map : (submemory -> submemory) -> t -> t
val fold : (submemory -> 'a -> 'a) -> (Abstract_memory.bit -> 'b -> 'a) -> t -> 'b -> 'a
val add_segmentation_bounds : oracle:Abstract_memory.oracle -> bound list -> t -> t