C形状分析在函数和路径层次上的并行化

• 作者: 李兆鹏 梁家彪 沈咸飞
• 来源期刊: 电子技术
• 关键词: 函数层次 路径层次 静态分析 并行化分析 实用性 可伸缩性
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 电子技术研发
• 页码范围: 20-26
• 页数: 7页
• 字数: 6250字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0755.2015.08.005

摘要

静态分析技术作为一种重要的提高程序安全性的手段，目前已被广泛地用于查找程序中的错误和漏洞。性能作为静态分析工具的一个重要指标，直接影响到工具的实用性和可伸缩性。在多核处理器时代，提升工具分析性能的一个有效的途径是充分利用多个处理器来增加分析的并行度。本文的目的是探究如何在静态分析工具中使用并行化分析技术来提升工具的分析性能。我们在实验室设计的一款专门分析C程序中单链表、双链表等数据结构的形状和内存相关错误的静态分析工具上，根据工具本身的分析层次和分析过程，在工具的函数层次和路径层次上使用并行化分析技术，然后在服务器平台上对并行化分析技术的效果进行实验测试。实验数据表明，在这两个层次上使用并行化分析技术能有效地提升工具的分析性能。