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