値の範囲分析

コンピューティング、特にコンパイラの構築において、値範囲分析は、プログラムの実行の各時点で数値変数が取り得る値の範囲（間隔）を追跡するデータフロー分析の一種です。 ^{[1]得られた情報は、冗長性の除去、}デッドコードの除去、命令の選択などの最適化に使用できますが、バッファオーバーランの検出など、プログラムの安全性を向上させるためにも使用できます。^[2]値範囲分析の手法では、通常、シンボリック分析が広範に使用されます。^[3]

値範囲分析はIntel C++コンパイラで実装されることが多く、GCCでも実装されています。^[4]

参考文献

^ ハリソン、ウィリアム H. (1977)。「変数の値の範囲のコンパイラ分析」。IEEE Transactions on Software Engineering。3 ( 3): 243– 250。doi : 10.1109 / TSE.1977.231133。S2CID 17018610。
^ Wagner, D.; Foster, JS; Brewer, EA; Aiken, A. (2000).バッファオーバーラン脆弱性の自動検出に向けた第一歩。NDSS。
^ Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. 「条件付きで更新される変数とポインターの値の範囲分析」(PDF)。
^ MacLeod, Andrew (2021 年 4 月 28 日). 「Project Ranger を使用した GCC での値の範囲の伝播」

[1] ハリソン、ウィリアム H. (1977)。「変数の値の範囲のコンパイラ分析」。IEEE Transactions on Software Engineering。3 ( 3): 243– 250。doi : 10.1109 / TSE.1977.231133。S2CID 17018610。

[2] Wagner, D.; Foster, JS; Brewer, EA; Aiken, A. (2000).バッファオーバーラン脆弱性の自動検出に向けた第一歩。NDSS。

[3] Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. 「条件付きで更新される変数とポインターの値の範囲分析」(PDF)。

[4] MacLeod, Andrew (2021 年 4 月 28 日). 「Project Ranger を使用した GCC での値の範囲の伝播」