C语言作为一门主流的编程语言,在操作系统、编译器、嵌入式软件等领域得到广泛使用,这些领域的软件的安全性问题直接影响整个软件领域的安全。与其他语言相比,C语言具有指针、动态存储分配、无数组越界动态检查等语言特性,导致C程序容易出现空指针脱引用、内存泄漏、缓冲区溢出等诸多内存安全漏洞。目前学术界和工业界都非常关注C程序的安全性问题,并提出了多种可以增强C程序的安全性方法如：程序验证、动态分析、静态分析等。本文工作基于我们实验室研发的一个C程序形状的静态分析工具原型ShapeChecker,它主要用来分析C程序内存方面的错误。本文主要讨论该工具中分析的并行化设计与实现,主要的贡献在于：第一,在ShapeChecker中设计实现了符号执行调度算法。ShapeChecker从函数与路径两个层次上分析程序,需要有相应的调度算法去选择可分析的函数和路径,再由符号执行引擎去分析这些函数和路径。第二,在ShapeChecker中设计实现了函数层次和路径层次上的并行化分析。在ShapeChecker中,函数层次和路径层次是两个可以采用并行化技术的分析层次,在这两个层次上进行并行化,可以提升ShapeChecker的分析性能。第三,参与实现了ShapeChecker原型系统。原型系统支持对单链表、双链表、树等形状的分析,主要寻找C程序中与内存相关的错误。目前系统可以分析规模在万行左右的C程序,可以找出代码中空指针脱引用、缓冲区溢出、内存泄露等错误。并行化分析技术可以提升分析工具的分析性能,增强工具的可伸缩性,使工具可以分析更大规模的程序。