ダングリングポインタ とは？

たとえば、友達が引っ越したのに古い住所のまま手紙を送り続けるようなものだよ。メモリ上のデータが解放されたのに、ポインタだけがその場所を指し続けている状態のことだね。

何が起きるか分からないんだ。たまたま同じ場所に別のデータが入っていたら、見知らぬ人の手紙を読んでしまうようなもの。プログラムがクラッシュしたり、データが壊れたり、最悪の場合は攻撃者に悪用されるよ。

「Use-After-Free」と呼ばれる脆弱性だよ。解放された領域に攻撃者が悪意のあるデータを配置して、ダングリングポインタ経由でそれを実行させるんだ。ブラウザの脆弱性の多くがこのパターンで、Chrome・Firefox・Safariどれも過去に何度もやられているよ。

基本的なテクニックとしては、メモリを解放した直後にポインタをNULLに設定する方法があるよ。NULLアクセスならクラッシュするから、少なくとも「気づかず壊れたデータを使い続ける」事態は防げるんだ。

その通り、人間は忘れるものだからね。だからRustは所有権システムという仕組みで、コンパイル時にダングリングポインタが発生しないことを保証しているよ。参照が有効な間はデータが解放されないし、データが解放された後は参照が使えなくなる。

JavaやPythonはそもそもプログラマが直接メモリを解放できないから、ダングリングポインタは基本的に発生しないよ。ただしC/C++で書かれたネイティブライブラリを呼び出す部分では起きうるんだ。Googleの調査ではChromeのセキュリティバグの約70%がメモリ安全性の問題で、その多くがUse-After-Freeだったんだよ。