データフロー解析
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/28 03:01 UTC 版)
データフロー解析(英: Data-flow analysis)は、プログラム内の様々な位置で、取りうる値の集合に関する情報を収集する技法である。制御フローグラフ (CFG) を使って変数の値が伝播するかどうかなどの情報を集め、利用する。このようにして集められた情報はコンパイラが最適化に利用する。データフロー解析の基本は到達定義 (reaching definition) である。
- ^ Kildall, Gary (1973年). “A Unified Approach to Global Program Optimization”. Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages 2006年11月20日閲覧。.
- 1 データフロー解析とは
- 2 データフロー解析の概要
- 3 参考文献
データフロー解析と同じ種類の言葉
- データフロー解析のページへのリンク