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