基于静态分析的C++虚函数匹配算法研究

• 作者: 张志华 牟永敏 龚健
• 来源期刊: 科技与创新
• 关键词: 静态路径 多态性 虚函数匹配 自动化测试
• 年，卷（期）: 2010,（27）
• 页码范围: 140-141,182
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.27.055

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牟永敏	北京信息科技大学计算机学院	85	322	10.0	16.0
2	张志华	北京信息科技大学计算机学院	26	99	5.0	9.0
3	龚健	北京信息科技大学计算机学院	1	0	0.0	0.0