數據流分析

最近在看Accurate Recovery of Functions in COTS Binaries，但是關於數據流分析沒看懂，找到了這篇博客，感覺寫的很好，加深了自己理解 引子 編譯器後端會對前端生成的中間代碼做很多優化，也就是在保證程序語義不變的前提下，提高程序執行的效率或減少代碼size等優化目標。優化需要依靠代碼分析給出的「指導信息」來相應地改進代碼，而代碼分析中最重要的就是數據流分析。

>>阅读原文<<