令和7年度 秋期 午前Ⅱ 問17

✓ これが正解ウバッファオーバーフロー，メモリリークなどの潜在的なセキュリティ上の問題を回避するために，メモリの保護機能を備えたプログラム言語を使用する。

解説

メモリ保護機能を備えたプログラム言語の使用がメモリ安全性の事例です。

メモリ安全性は、プログラムが確保した範囲の外を読み書きしたり、解放済みの領域を使ったりする誤りを起こさない性質を指します。こうした誤りはバッファオーバーフローなどの脆弱性につながります。メモリの保護機能を備えたプログラム言語を使えば、範囲外のアクセスなどを言語の仕組みで防げるので、ソフトウェア自身のメモリ安全性を高める事例として当てはまります。見分ける軸は、ソフトウェアのメモリの使い方の誤りを防ぐ対策か、ハードウェアの故障や容量不足への対策かです。プログラムの書き方に起因する問題を言語で防ぐ、と押さえると選べます。

ほかの選択肢はなぜ違うのか

• ア宇宙線によって引き起こされるメモリのエラ…：宇宙線によるメモリのエラーは、ハードウェアに起きる一時的な誤りです。処理を多重化して検出する対策は、こうした誤りに対する信頼性を高める工夫であり、プログラムのメモリの使い方の誤りを防ぐものではありません。
• イエラー検出及び訂正が可能なメモリを使用す…：エラー検出及び訂正が可能なメモリは、ハードウェアで生じたビットの誤りを直す仕組みです。プログラムが範囲外を書き換えるような誤りは防げないので、ソフトウェアのメモリ安全性を考慮した事例ではありません。
• エヒープ及びスタックメモリの必要量を静的解…：ヒープとスタックの必要量を静的解析で求めて空き領域を確保するのは、メモリ不足を防ぐための資源の見積りです。確保した範囲の外へアクセスするような誤りを防ぐ対策ではなく、焦点が異なります。