buffer overrun

Except in a few trivial cases, it generally isn't possible to prove that a buffer overrun isn't exploitable.