バッファオーバーフロー とは？

たとえば10文字分のメモリ領域を確保したのに、100文字のデータを書き込むとどうなるかな。はみ出した90文字分が隣のメモリ領域を上書きしてしまうんだ。この上書きされた領域に重要な制御データがあると、プログラムの動きが変わってしまうんだよ。

スタック上には「この関数が終わったら次にどこを実行するか」というリターンアドレスが保存されているんだ。バッファオーバーフローでこのアドレスを攻撃者の用意したコードのアドレスに書き換えると、プログラムが攻撃者のコードを実行してしまうんだよ。

JavaやPythonのような言語は自動でメモリ管理をしてバッファの境界チェックも行うから、基本的にはバッファオーバーフローは起きないよ。主にCやC++のようなメモリを手動管理する言語で問題になるんだ。ただし、ランタイム自体がC/C++で書かれていれば、そこに脆弱性がある可能性はあるよ。

いろいろあるよ。ASLR（メモリのアドレスをランダムにして攻撃先を予測しにくくする）、DEP/NX（データ領域でのコード実行を禁止する）、スタックカナリア（バッファとリターンアドレスの間に検知用の値を入れる）など、複数の防御層で守っているんだ。