というか、バッファオーバーフローを起こすデータを敵から入力されるって想定で言ってるのかな？
そうじゃなくてバグでそれが起きたらどうすんの？　という話だが。
Adaにそれはないぞ。