バッファオーバーラン｜サイバーセキュリティ.com

  1. ホーム /
  2. セキュリティ用語集 /
  3. バッファオーバーラン
             

バッファオーバーラン

バッファオーバーラン（Buffer Overrun）は、プログラムがメモリのバッファ領域に収まらないデータを書き込むことによって、隣接するメモリ領域にまでデータが上書きされてしまう現象です。通常、プログラムはあらかじめ決められたサイズのメモリ領域（バッファ）にデータを書き込みますが、想定以上のサイズのデータを扱おうとすると、バッファから溢れたデータが周辺のメモリ領域に侵入してしまい、システムの挙動が不安定になったり、深刻なセキュリティ脆弱性を引き起こしたりすることがあります。

バッファオーバーランは、プログラムがデータの長さをチェックせずに処理を進めてしまう場合に発生しやすく、特にC言語やC++などの低レベル言語で頻発します。この脆弱性を悪用することで、攻撃者は任意のコードを実行し、システムへの不正アクセスやデータ改ざんを行うことが可能になります。

バッファオーバーランの種類

バッファオーバーランには、主に以下の2種類があります。

1. スタックバッファオーバーフロー

スタックバッファオーバーフローは、関数のスタック領域にデータを書き込む際に発生するバッファオーバーランです。スタックは関数の呼び出しごとにメモリ上に割り当てられる一時的な領域で、関数の戻り先アドレスや変数を一時保存します。このスタック領域を超えるデータが書き込まれると、関数の戻り先アドレスが上書きされ、攻撃者の指定した任意のコードが実行される可能性があります。

  • 影響：攻撃者はリターンアドレスを変更することで、プログラムの実行フローを操作し、任意のコードを実行させることができます。

2. ヒープバッファオーバーフロー

ヒープバッファオーバーフローは、動的に確保されるメモリ領域（ヒープ）で発生するバッファオーバーランです。ヒープは通常、プログラムの実行時にメモリが確保され、長期間保持されるデータやオブジェクトが格納されます。ヒープ領域でのバッファオーバーフローは、スタックよりも検出が困難であり、攻撃者がメモリ中の特定のデータを上書きして、システムやアプリケーションを操作できる脆弱性につながります。

  • 影響：メモリ中のデータ構造を改ざんし、プログラムの挙動を変えることが可能で、不正な操作やデータ改ざんが行われる可能性があります。

バッファオーバーランの原因

バッファオーバーランが発生する主な原因は、プログラムのバッファサイズやデータサイズを適切にチェックしないことです。以下の要因がバッファオーバーランを引き起こす原因となります。

  1. データのサイズ確認不足
    配列やメモリブロックにデータをコピーする際に、コピー元のデータサイズを確認しない場合、バッファサイズを超えたデータが書き込まれることになります。
  2. ユーザー入力の無制限な受け入れ
    ユーザーからの入力をそのままバッファに格納する処理では、長すぎる入力があっても適切にサイズが確認されない場合にバッファオーバーランが発生します。
  3. メモリ管理のミス
    メモリを動的に確保する際のサイズ指定が間違っている場合や、解放したメモリに再度アクセスして書き込みを行うと、バッファオーバーランが発生する可能性があります。
  4. 安全でない標準ライブラリの使用
    strcpyやsprintfなどのC言語標準関数は、データサイズを考慮せずに文字列やデータをコピーするため、サイズ超過に対して脆弱です。これらを使うことでバッファオーバーランのリスクが増大します。

バッファオーバーランがもたらすリスク

バッファオーバーランが発生すると、システムの異常動作やセキュリティの欠陥が生じる可能性があります。具体的なリスクは以下の通りです。

  1. プログラムのクラッシュ
    メモリ領域が異常なデータで上書きされると、プログラムが意図しない動作をしてクラッシュすることがあります。クラッシュは一時的なエラーにとどまる場合もありますが、深刻なシステム障害につながることもあります。
  2. 任意コード実行
    スタックバッファオーバーフローを悪用することで、攻撃者はプログラムの制御を奪い、任意のコードを実行できます。これにより、データの窃取や破壊、マルウェアの設置などの悪意ある行為が可能となります。
  3. 情報漏洩
    バッファオーバーランにより、他のメモリ領域にあるデータ（例えば機密情報や認証情報）にアクセスされる可能性があります。これにより、攻撃者が機密情報を不正に入手するリスクが生まれます。
  4. システム全体の脆弱性
    バッファオーバーランの脆弱性が残っているシステムは、外部からの攻撃を受けやすくなります。特にネットワーク経由でアクセスできるシステムは、外部からの攻撃によって悪用されるリスクが高まります。

バッファオーバーランへの対策

バッファオーバーランを防ぐためには、プログラムの開発段階で以下のような対策を講じることが重要です。

1. 入力データのサイズチェック

ユーザーからの入力や外部データの読み込みを行う際には、必ずデータのサイズをチェックし、バッファサイズを超えないようにします。これにより、データがバッファ領域を超えて上書きされるリスクを防止できます。

2. 安全な関数の使用

バッファオーバーランが発生しやすいstrcpyやsprintfなどの関数の代わりに、strncpyやsnprintfなど、バッファサイズを指定できる安全な関数を利用します。これにより、バッファサイズを超えないコピーや書き込みが可能となります。

3. ASLR（アドレス空間配置のランダム化）の活用

**ASLR（Address Space Layout Randomization）**は、メモリの配置をランダム化する技術です。スタックやヒープの位置を毎回変えることで、攻撃者がメモリ位置を特定しにくくなり、バッファオーバーランの悪用が困難になります。

4. スタックプロテクターの利用

多くのコンパイラには、バッファオーバーフローを検出するための機能（スタックプロテクター）があります。コンパイル時に-fstack-protectorオプションを指定することで、スタックバッファオーバーフローの発生時にエラーを検出でき、異常が検出されるとプログラムが停止します。

5. メモリ管理の徹底

メモリの動的確保や解放を正確に管理することで、誤って不要なメモリ領域にアクセスしないようにします。解放されたメモリにはアクセスしない、必要なメモリを正確に確保するなど、メモリ管理を徹底することが重要です。

まとめ

バッファオーバーランは、メモリ領域を超えるデータの書き込みにより発生するセキュリティ脆弱性であり、システムのクラッシュや任意コード実行などの深刻なリスクを引き起こします。対策として、入力データのサイズチェックや安全な関数の使用、メモリ管理の徹底などが挙げられます。また、ASLRやスタックプロテクターの活用により、攻撃リスクをさらに低減することが可能です。バッファオーバーランを防ぐためには、開発段階からセキュアコーディングの実践が求められ、これによりシステムの安定性と安全性が向上します。

関連コラム（あわせて、以下の記事もよく読まれています）

製品・サービス（当該コラムの内容に関連する製品・サービスはこちら）


SNSでもご購読できます。