『壹』 如何使用ast生成程序的控制流圖(cfg)
欲解答如何使用ast生成程序的控制流圖（cfg）的問題，需先明了背景。
如題中所述，提問者正在開發一個PHP漏洞分析工具，通過使用PHP-parser生成抽象語法樹（AST）並進行靜態污點分析（static taint analysis）。具體實現中，關鍵點在於定義代碼模式作為「污點」的起點和終點，從起點開始進行數據流分析，追蹤污點信息傳播，以識別在傳播至終點前是否被程序使用。
在結構化編程語言中，AST與流分析不兼容，因為這些語言具有分支、循環、跳轉和異常處理等語法結構，它們隱含了不連續的控制流，而AST結構雖已簡化，仍貼近語言語法。表達式內隱含的控制流也更難以追蹤。故推薦在數據流分析前，將AST轉換為更細粒度的中間表示（IR），其中控制流顯式暴露。
實現上，提問者項目採用自定義的CFG生成器，嘗試復用AST節點並構建CFG結構與記錄use-def關系。此方法雖可簡化實現，但未能全面覆蓋預期功能。更正統的做法是先生成適配數據流分析的IR，再融合控制流生成CFG。
具體實現中，可參考V8的Hydrogen實現，直接遍歷AST生成帶有控制流的SSA形式IR。或借鑒GWT的jjs（JavaToJavaScriptCompiler）中的CfgBuilder，採用在AST上一層層構建控制流圖的方法。
總之，AST直接用於數據流分析存在局限性，更推薦先生成兼容數據流分析的IR，再構建控制流圖。這樣能更高效地進行數據依賴分析，簡化後續的分析工作。