メモリ安全性とは？めもりあんぜんせい
メモリ安全性とは、確保した領域の範囲外へのアクセスや、解放済み領域の参照といった不正なメモリ操作が起こらないことが保証される性質。C／C++はこの保証がなく、バッファオーバフローや解放後使用がそのまま脆弱性になる。Rustのように所有権の仕組みで言語レベルに保証を持たせた言語がある。
最終更新：2026-10-06
応用情報を最短で暗記・合格する →具体例
配列の境界チェックや、参照の有効期間をコンパイル時に検証することで、実行時の不正アクセスを排除する。
試験での引っ掛け
MISRA-Cに従ってもメモリ安全性が保証されるわけではない（規約は危険な書き方を減らすもので、言語レベルの保証ではない）。またガベージコレクションがあれば解放後使用は防げるが、配列の範囲外アクセスは境界検査の有無で決まる別の話。型安全性とも同義ではない。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。