數據流分析

數據流分析 是一種用於收集計算機程序在不同點計算的值的信息的技術 。 一個程序的控制流圖 （ control flow graph, CFG ） 被用來確定對變量的一次賦值可能傳播到程序中的哪些部分 。 這些信息通常被編譯器用來優化程序 。 數據流分析的一個典型的例子就是可到達定義的計算 。 進行數據流分析的最簡單的一種形式就是對控制流圖的某個節點建立數據流方程 ， 然後通過迭代計算 ， 反覆求解 ， 直到到達不動點 。 這種一般的方法是由Gary Kildall在Naval Postgraduate School講課時發明的 。