基于CFG的函数调用关系静态分析方法①.PDFVIP

2015 年 第 24 卷 第 11 期 计 算 机 系 统 应 用 ① 基于 CFG 的函数调用关系静态分析方法 黄双玲, 黄章进, 顾乃杰 ( 中国科学技术大学 计算机科学与技术学院, 合肥 230027) ( 中国科学技术大学 安徽省计算与通信软件重点实验室, 合肥 230027) ( 中国科学技术大学 先进技术研究院, 合肥 230027) 摘 要: 函数调用关系能够反映软件系统中函数间的依赖关系, 完整的函数调用关系可以更好地辅助程序验证 和死锁分析, 提升验证和分析的完备性. 现有静态分析函数调用关系的方法不能准确分析函数指针和虚函数的 调用, 影响了其分析结果的准确性. 针对这一问题本文提出了一种基于控制流图(Control Flow Graph, CFG)的函 数调用关系静态分析方法, 该方法首先使用GCC 插件静态获取源代码中的类型和函数 CFG 等信息并构建分析路 径, 然后采用本文提出的模拟仿真算法分析程序中的语句, 并解析函数指针和虚函数的调用, 最后基于分析结果 生成完整的函数调用关系. 实验结果表明, 该方法能够很好地支持对函数指针和虚函数的处理, 提升了分析结果 的准确性. 关键词: 函数调用关系; 静态分析; 控制流图; 函数指针; 虚函数 Static Analysis Method of Generating Function Call Relations Based on CFG HUANG Shuang-Ling, HUANG Zhang-Jin, GU Nai-Jie (School of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China) (Anhui Province Key Laboratory of Computing and Communication Software, Hefei 230027, China) (Institute of Advanced Technology, University of Science and Technology of China, Hefei 230027, China) Abstract: Function call relations can be used to reveal the dependency relations between functions in software systems. An integrated function call relation makes a good contribution to program verification and deadlock analysis, and improves the completeness of verification and analysis. Existing methods of function call relations based on static analysis do not provide integrated support for function pointers or virtual functions, which lowers the accuracy of analysis result. This paper proposes a static analysis method for function call relations generation based on Control Flow Graph (CFG). This method gains