论文部分内容阅读
在分析C＋＋程序的静态路径时,确定出虚函数调用所对应的函数原型是非常重要的。根据多态性的实现机制,以静态分析建立的虚函数表为基础,从数据流角度出发,分别对赋值和函数调用进行定值和别名分析方法,并建立相应的表,确定出虚函数调用所对应的类的函数原型。对面向路径的C＋＋语言程序自动化测试起到了关键作用。