拉克维特

Lackwit:一个基于类型推理的程序理解工具。通过静态地确定程序的结构需要一组变量来共享一个公共表示,我们可以识别抽象数据类型,检测抽象冲突,找到数据结构中未使用的变量、函数和字段,检测抽象数据类型操作中的简单错误,并找到可能引用某个值的位置。我们使用类型推理计算表示共享,使用类型对表示进行编码。该方法高效、全自动、平滑地集成了指针混叠和高阶函数。我们展示了如何使用一个原型工具来回答用户关于用C编写的17000行程序的问题。。。