メモリ安全性の高いプログラミング言語とは

　プログラミング言語によっては、PCやスマホのメモリを扱う方法に問題がある。すでに使わなくなったメモリ領域を廃棄したり、新しく使うメモリ領域をゼロクリアしたりする機能が備わっていないと、バグはもちろん、攻撃者に利用される脆弱性を生み出してしまうからだ。

　それではメモリ安全性の高いプログラミング言語にはどのような特徴があるのだろうか。

（1）メモリ管理の自動化と保護機構

　メモリ安全なプログラミング言語は自動化されたメモリ管理機構を備えている。これによって、開発者がメモリを操作するコードで意図せずにミスを起こすことを防げる。「Java」や「C#」「Go」「Ruby」「Swift」などの言語は、不要になったメモリ領域を廃棄するガベージコレクションやその他のメモリ保護機構を含んでいる。

（2）バッファオーバーフローやメモリリークの防止

　メモリ安全なプログラミング言語はサイバー攻撃で利用されやすいバッファオーバーフローやユーズアフターフリー、レースコンディションなどのメモリ関連のバグを防止するためのメカニズムを備える。例えばRustではコンパイル時にこれらのバグを検出して防止する。

（3）型の安全性

　メモリ安全なプログラミング言語は厳格な型システムを持ち、ランタイムでの型エラーを防ぐ。GoogleがAndroidの開発で採用したRustでは型システムがコンパイル時に不正なデータアクセスを検出し、バグを排除する。

（4）並列処理の安全性

　並列処理プログラミングは問題を起こしやすい。あるメモリ領域を複数のプロセスがランダムにアクセスするようなコードを書くとバグを生み出しやすい。メモリ安全なプログラミング言語は、並行処理においても安全性を確保できる。Rustでは厳密なルールに基づく変数の「借用システム」が存在し、データ競合やデッドロックを未然に防ぐ。

（5）所有権と借用の概念を備える

　（4）で触れた「借用システム」とは何だろうか。Rustは特にメモリについて「所有権」と「借用」の概念を導入しており、メモリの多重解放や不正なデータアクセスを防止できる。Rustの所有権システムでは、各値には常に1つの所有者が存在し、コンパイル時に不正なデータアクセスを防止する仕組みが組み込まれている。

　以上のような特徴により、メモリ安全性の高いプログラミング言語は、サイバーセキュリティの向上とソフトウェアの信頼性を確保するために重要な役割を果たす。（文責：キーマンズネット編集部）

古いコードを放置しても脆弱性が減る理由

　Googleは脆弱性の修正以外で既存のコードにほとんど手を加えなかった。なぜこの方法がうまくいくのだろうか。

　Googleによれば数学によって説明できるという。脆弱性は指数関数的に減衰する性質があり、脆弱性には半減期がある。つまり、脆弱性の寿命の分布は、平均的な脆弱性の寿命λが与えられた場合、指数分布に従うという。

　これは2022年に『Usenix Security』誌に発表された脆弱性の寿命に関する大規模な研究の結論だ。研究者によれば、脆弱性の大部分が新しいコードや最近修正されたコードに存在する。

　研究の結論は2点にまとめられる。

・問題は圧倒的に新しいコードにあり、新しいコードの開発方法を根本的に変える必要がある

・コードは時間とともに成熟し、指数関数的に安全になる

　平均的な脆弱性の寿命に基づくと、5年前のコードは新しいコードよりも脆弱性の密度が3.4倍（研究による寿命を使用）から7.4倍（AndroidとChromiumで観測された寿命を使用）低い。Googleの方針がうまくいったのは古いコードよりも新しいコードを優先し、いわば「予防は最善の治療」を実現したためだ。

出典：For Google to reduce memory-safety defects, it focused on new code（Cybersecurity Dive）
注1：Eliminating Memory Safety Vulnerabilities at the Source（Google Security Blog）
注2：White House rallies industry support for memory safe programming（Cybersecurity Dive）
注3：Security basics aren’t so basic ― they’re hard（Cybersecurity Dive）
注4：Memory-unsafe code runs rampant in critical open-source projects（Cybersecurity Dive）