BufferOverrunDomain.KeyRhs
Right hand side of the alias domain. See AliasTarget.
AliasTarget
type t
= AbsLoc.Loc.t
val equal : t -> t -> bool