一种基于静态分析的软件缺陷模式研究方法

摘要

本发明涉及一种基于静态分析的软件缺陷模式研究方法，所述一种基于静态分析的软件缺陷模式研究方法使用静态分析方法直接对代码进行缺陷模式匹配，以C语言为基础，利用自增自减语句可能产生的溢出缺陷为切入点，提出代码替换思想来降低缺陷率。本发明使用静态分析方法提高缺陷检测的准确性，降低了漏报率；静态分析的自动化程度高，执行速度快，定位准确，执行效率高；提高软件安全运行能力，帮助提高软件的性能。