開發者 ifa.sf.net

IFA，反覆運算流分析是一種組合的數據流和控制流分析。 它能夠解決混凝土類型（而不是標稱或聲明的類型）和靜態或動態類型程式的程式間調用圖。