开发者 ifa.sf.net

IFA，迭代流分析是一种组合的数据流和控制流分析。 它能够解决混凝土类型（而不是标称或声明的类型）和静态或动态类型程序的程序间调用图。