コンピュータが「計算できない」状態とは？オーバーフローの意味と種類を解説

オーバーフローとは何か

語源と基本的な意味

オーバーフロー（overflow）とは、英語で「あふれ出る」という意味の言葉です。ITの分野では、コンピュータが扱える数値や領域の上限を超えてしまう現象を指します。

水の入ったコップに水を注ぎすぎるとこぼれるように、データがコンピュータ内の「入れ物」の容量を超えるとオーバーフローが発生します。

コンピュータが扱える数値には「上限」がある

コンピュータはすべてのデータを0と1のビット列で表します。そのため、使えるビット数によって表現できる数値の範囲が決まります。

たとえば1バイト（8ビット）の符号なし整数型に「255 + 1 = 256」を格納しようとすると、256は表現できないため、ビットがひと回りして0になります。これがオーバーフローです。

オーバーフローが起きるとどうなるか

計算結果がおかしくなる（具体例）

最もわかりやすい影響が「計算結果の崩壊」です。8ビット符号なし整数で「200 + 100」を計算すると、本来は300ですが、255を超えた分がひと回りして44になります。

実際にこの問題が大規模な障害を引き起こした事例があります。1996年のアリアン5ロケットの打ち上げ失敗は、64ビット浮動小数点数を16ビット整数型へ変換した際のオーバーフローが原因のひとつとされています。

プログラムがクラッシュする

言語や処理系によっては、オーバーフローが発生した時点で例外（エラー）を投げてプログラムを停止させるものもあります。C言語のような低レベル言語では例外を投げずに誤った値のまま処理が続くことが多く、これがバグやセキュリティ脆弱性につながります。

オーバーフローの3つの種類

オーバーフローは発生する場所や状況によって大きく3種類に分かれます。それぞれの違いを整理しておきましょう。

整数オーバーフロー

整数型変数に格納できる最大値を超える演算を行ったときに発生するオーバーフローです。冒頭の「255 + 1 = 0」がこれにあたります。

そのままプログラムが動き続けるため気づきにくく、後になって「なぜかカウンターが0に戻る」「金額の合計がマイナスになる」といった不可解なバグとして現れることがあります。

バッファオーバーフロー

バッファ（データを一時的に保持するメモリ領域）に対して、割り当てたサイズを超えるデータを書き込もうとしたときに発生します。あふれたデータは隣接するメモリ領域に書き込まれ、別のデータや処理の制御情報を上書きしてしまいます。

セキュリティ上の脅威として特に重要で、攻撃者がこの仕組みを悪用して任意のコードを実行させる「バッファオーバーフロー攻撃」に発展するケースがあります（詳しくは後述）。

スタックオーバーフロー

プログラムが関数を呼び出すとき、呼び出し元の情報（戻り先アドレスなど）はコールスタックと呼ばれるメモリ領域に積み重ねられます。再帰呼び出しが無限に繰り返されるなどしてコールスタックの上限を超えると、スタックオーバーフローが起きてプログラムは強制終了します。

プログラミング学習中に「再帰関数の終了条件を書き忘れたらクラッシュした」という経験をした方は、まさにスタックオーバーフローに遭遇しています。

オーバーフローとアンダーフローの違い

オーバーフローと対になる概念がアンダーフロー（underflow）です。こちらは「上限を超える」ではなく「下限を下回る」現象を指します。

アンダーフローは特に浮動小数点数（小数を扱うデータ型）で発生しやすく、値の絶対値が非常に小さくなったとき（小数点以下の0が増えすぎたとき）に0として扱われてしまいます。除算や乗算の結果が大きく狂う原因になります。

バッファオーバーフロー攻撃とセキュリティリスク

バッファオーバーフローはセキュリティ上の脆弱性として特に危険です。攻撃者はこの仕組みを意図的に悪用し、バッファオーバーフロー攻撃を仕掛けます。

攻撃の仕組み

プログラムが外部からデータを受け取ってメモリに保存する際、そのサイズチェックが不十分だと、攻撃者は意図的に大量のデータを送り込めます。あふれたデータで「関数の戻り先アドレス」を書き換えることで、攻撃者が用意した悪意のあるコードを実行させることが可能になります。

被害と影響

バッファオーバーフロー攻撃が成功すると以下のような被害が発生します。

• 管理者権限の奪取（システムの完全掌握）
• 機密情報の窃取
• マルウェアの埋め込み
• DoS攻撃の踏み台化
• システムの強制停止

C言語やC++はメモリ管理を開発者に委ねる設計のため、バッファオーバーフローの脆弱性が生まれやすい代表的な言語です。一方、JavaやPythonなどの高水準言語はランタイムが境界チェックを行うため、比較的リスクが低いとされています。

オーバーフローを防ぐための基本的な考え方

オーバーフローを完全にゼロにするのは難しいですが、以下の基本的な対策で大幅にリスクを下げられます。

主要プログラミング言語でのオーバーフローの扱い

オーバーフローが発生したときの挙動は、使用するプログラミング言語によって大きく異なります。言語選択の際の参考にしてください。

Pythonは整数型に上限がなく、計算結果が大きくなるにつれて自動的にメモリを拡張するため、整数オーバーフローが原理的に発生しません。一方、C言語はパフォーマンスを優先した設計のため、境界チェックは開発者の責任です。RustはC言語並みの速度を持ちながら、コンパイル時のチェックでメモリ安全性を高めた比較的新しい言語として注目されています。

オーバーフローに関するよくある質問

まとめ

オーバーフローとは、コンピュータが扱える数値や領域の上限を超えてしまう現象です。

関連用語としてアンダーフローやバッファも合わせて理解すると、コンピュータのメモリ管理への理解がより深まります。