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

10.3969/j.issn.1000-0755.2015.08.005 20 电子技术研发 Electronics R D 0. 引言 随着计算机科学技术的飞速发展，计算机软件 使用的越来越广泛，规模也不断变大，调试和维护 变的越来越困难，如何程序中有效的找出漏洞和错 误是当前开发者必须要面对的一个关键问题，尤其 是在一些对安全性要求很高的领域(如医疗、航空等)。 C语言作为一门主流的编程语言，在操作系统、编 译器、嵌入式软件等领域得到广泛使用，这些软件 的安全性问题直接影响整个软件领域的安全。与其 他语言相比，C语言具有指针、动态存储分配、无 数组越界动态检查等语言特性，导致C程序容易出 现空指针脱引用、内存泄漏、缓冲区溢出等诸多内 C形状分析在函数和路径层次上的并行化 沈咸飞1 李兆鹏2 梁家彪3 1（中国科学技术大学 计算机科学与技术学院，合肥 230026） 2（中国科学技术大学先进技术研究院 中国科大-国创高可信软件工程中心，合肥 230027） 摘 要：静态分析技术作为一种重要的提高程序安全性的手段，目前已被广泛地用于查找程序中的错误 和漏洞。性能作为静态分析工具的一个重要指标，直接影响到工具的实用性和可伸缩性。在多核处理器时 代，提升工具分析性能的一个有效的途径是充分利用多个处理器来增加分析的并行度。本文的目的是探究 如何在静态分析工具中使用并行化分析技术来提升工具的分析性能。我们在实验室设计的一款专门分析C程 序中单链表、双链表等数据结构的形状和内存相关错误的静态分析工具上，根据工具本身的分析层次和分 析过程，在工具的函数层次和路径层次上使用并行化分析技术，然后在服务器平台上对并行化分析技术的 效果进行实验测试。实验数据表明，在这两个层次上使用并行化分析技术能有效地提升工具的分析性能。 关键词：函数层次；路径层次；静态分析；并行化分析；实用性；可伸缩性 Parallel Analysis of C Shape Analysis on Function Level and Path Level Shen Xianfei1 Li Zhaopeng2 Liang Jiabiao3 1(School of Computer Science and Technology, University of Science and Technology of China, Hefei 230026, China) 2(USTC-Sinovate High Confidence Software Engineering Center ,Institute of Advanced Technology, University of Science and Technology of China, Hefei 230027, China) Abstract: As an important way to improve software’s safety, static analysis technology has been widely used to find errors and bugs in program. Performance is a significant factor for static analysis tool and directly affects the usability and scalability of the tool. On the era of multi-core processors, one of effective methods to improve the analysis performance is to fully utilize multiple processors and add the degree of parallelism. This paper is to find out how to utilize parallel analysis technology to improve the analysis performance in static analysis tool. Our work is based on a static analysis tool that designed by our lab. It supports to analyze the shape of some data structures such as single linked list and double linked list and find out errors and bugs with memory in a C