バッファオーバーラン

配列やバッファの範囲外への書き込み・読み込みが起こる現象。C/C++で長年セキュリティ脆弱性の主要原因とされてきた。

概念URI

https://comcomponent.com/knowledge/buffer-overrun/

別名・表記

buffer overrun / buffer overflow

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 範囲制約(range constraint)はバッファオーバーランを防ぎます。検査を有効にしたままビルドした場合、Adaの配列アクセスは境界チェックされ、範囲外アクセスは未定義動作ではなく定義されたConstraint_Error例外になるため、C/C++で長年主要原因とされてきたバッファオーバーランを防ぐ。pragma Suppressや検査を外すコンパイラオプションで検査を抑止すれば、この保証は失われる。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語(言及)

一次資料

• https://cwe.mitre.org/data/definitions/120.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。