Module BufferOverrunDomain.Reachability

Domain for reachability check

type t
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp : Stdlib.Format.formatter -> t -> unit
val make : LatestPrune.t -> t
val add_latest_prune : LatestPrune.t -> t -> t

Add latest pruned information to this domain

val subst : t -> eval_sym_trace -> IBase.Location.t -> [ `Reachable of t | `Unreachable ]

Substitute a reachability value