這篇論文介紹了如何在多項(xiàng)式時(shí)間內(nèi)，通過(guò)將一大類(lèi)程序間數(shù)據(jù)流分析問(wèn)題轉(zhuǎn)化為一類(lèi)特殊的圖可達(dá)性問(wèn)題來(lái)進(jìn)行解決，從而實(shí)現(xiàn)精確求解的方法。