Characteristic predicate OverflowStatic::BufferAccess::BufferAccess

BufferAccess()