Lines Matching full:verified
1595 // It has been verified that this does not involve a buffer overrun.
