數據流分析初探

什麼是數據流分析 數據流分析是一種通過靜態代碼來「推斷」程序動態執行的相關信息的技術，數據流分析並不真正執行程序。雖然數據流分析和符號執行在某些方面比較相似，但還是兩種完全不同的概念，更確切的說數據流分析是符號執行的基礎。 數據流分析和符號執行從某些方面都很相似，例如符號執行有程序點（ProgramPoint）的概念，並且在當前程序點存儲着程序運行到此刻的所有狀態和值信息（一般情況下不會維護歷史程

>>阅读原文<<