flow-sensitive
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/28 03:01 UTC 版)
「データフロー解析」の記事における「flow-sensitive」の解説
プログラムの文の順序を考慮する。例えば、flow-insensitive なポインタ・エイリアス解析は「変数 x と y は同じ位置を参照するかもしれない」と判断するとしたら、flow-sensitive なポインタ・エイリアス解析は「行番号 20 の後で、変数 x と y は同じ位置を参照するかもしれない」と判断する。
※この「flow-sensitive」の解説は、「データフロー解析」の解説の一部です。
「flow-sensitive」を含む「データフロー解析」の記事については、「データフロー解析」の概要を参照ください。
- flow-sensitiveのページへのリンク