path-sensitive
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/28 03:01 UTC 版)
「データフロー解析」の記事における「path-sensitive」の解説
条件分岐命令における条件判断に関わる情報を解析する。例えば、条件分岐の条件が x>0 の場合、そのまま分岐しないで処理を続行する場合は x≤0 であり、分岐した場合は x>0 となっていると判断できる。
※この「path-sensitive」の解説は、「データフロー解析」の解説の一部です。
「path-sensitive」を含む「データフロー解析」の記事については、「データフロー解析」の概要を参照ください。
- path-sensitiveのページへのリンク