Assertion list for term "be a buffer overflow".

Results from Ascent++: 1
bug CapableOfbe a buffer overflow 0.31