复杂系统中不可达函数调用路径检测方法研究

• 作者: 张志华 潘璐 牟永敏
• 来源期刊: 计算机仿真
• 学科: 工学
• 关键词: 复杂系统 函数调用路径 不可达路径 控制流 数据流
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 仿真服务化
• 页码范围: 426-430
• 页数: 5页
• 分类号: TP311
• 字数: 3577字
• 语种: 中文

摘要

通过静态分析复杂程序可获取系统的函数调用路径,便于系统框架的理解、分析及后期测试,但提高其分析效率和提取准确度的关键在于不可达函数调用路径的检测和去除.基于控制流信息,将函数指针和函数调用对数据流的影响综合考虑,结合数据流分析和检测分支相关性,利用路径敏感分析方法对函数调用路径中的不可达路径进行检测与去除,从而提取准确的函数调用信息.实验结果证明,上述方法可有效地对函数调用路径中的不可达路径进行检测,提高了分析效率及函数调用路径静态提取的准确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牟永敏	北京信息科技大学计算机开放系统实验室	85	322	10.0	16.0
2	张志华	北京信息科技大学计算机开放系统实验室	26	99	5.0	9.0
3	潘璐	北京信息科技大学计算机开放系统实验室	1	1	1.0	1.0