BO.BufferOverrunAnalysisSummary
type t = BufferOverrunDomain.Mem.no_oenv_t
val pp : Stdlib.Format.formatter -> t -> unit
type get_summary = IR.Procname.t -> t option