前方解析
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/28 03:01 UTC 版)
到達定義 到達定義解析では、プログラムの各点について、そこに到達する可能性のある定義の集合を計算する。 1: if b==4 then2: a = 5;3: else 4: a = 3;5: endif6:7: if a < 4 then8: ... 変数 "a" の7行目における到達定義は、行番号集合 {2, 4} である。
※この「前方解析」の解説は、「データフロー解析」の解説の一部です。
「前方解析」を含む「データフロー解析」の記事については、「データフロー解析」の概要を参照ください。
- 前方解析のページへのリンク