Module BufferOverrunDomain.Reachability

Domain for reachability check

type t
val equal : t -> t -> bool
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