伴随着软件的普及和功能的增强,软件规模逐渐增大,复杂度不断提高,软件成本迅猛增长,软件失效可能造成的负面影响也越来越大。因此,如何保证和提高软件可靠性成为业界最关心的问题之一。软件测试经历了多个阶段,成为保证软件质量和可靠性的重要手段,并逐渐形成了一套体系。　　 静态测试以其无需运行程序即可查找源码错误的优点在软件测试领域占据了重要地位。基于状态机的软件缺陷检测方法,是近几年发展起来的一种程序源代码静态分析方法,因其使用简单、效率高等特点逐渐受到操作系统、信息安全等领域学者的高度重视。　　 结合正在进行的DTSCPP项目,对检测工具进行具体介绍,深入研究状态机的定义、结构、转换条件等。为了提高工具的功能,进行跨函数分析,本文设计并实现了函数摘要部分。　　 数组越界和内存泄露是两个较常见且影响较大的缺陷模式,本文研究实现了此两个模式并进行测试,用实验证明方法的可行性与效果。本文的研究成果为基于缺陷模式的静态分析技术的研究提供了有效的方法和手段。