随着软件规模的不断增大,软件缺陷的检测愈加重要,一个不起眼的小错误,可能会导致巨大的损失。然而长期以来,程序中冗余代码的存在被认为是可以忽略的问题,认为对程序不会造成太大的危害,因此给予了很少的关注。但事实证明,冗余代码中包含的一些错误同样是有严重危害的,而且不易被发现。针对目前的现状,本文提出了C冗余代码及相关缺陷检测模型。围绕该模型,本文介绍了模型中涉及到的一些技术,包括程序静态分析,词法和语法分析方法,语法树以及程序依赖图,以便更好的理解整个模型。本文提出的模型主要检测四种冗余代码相关的缺陷:幂等操作,冗余的赋值,死代码以及冗余的条件表达式。其基本思路是:首先对C源代码进行预处理,接着进行词法分析,将源代码转化为token流,并在token流的基础上进行struct标识符和typedef标识符分析。在上面两步的基础上,生成程序的语法树,继而在语法树的基础上采用不同的方法来检测四种冗余缺陷:1)分析可能包含幂等操作的子树,查找幂等操作;2)对局部定义的变量,采用过程内部分析方法,来判断是否存在冗余的赋值;3)在语法树的基础上生成PDG,继而在PDG的基础上查找包含缺陷的结构,查找死代码;4)数据流分析,计算赋值表达式和条件表达式的值,查找冗余的条件表达式。最后根据四种缺陷的检测结果,给出缺陷检测报告。本文使用开源代码对C冗余代码及相关缺陷检测模型进行了测试,检测出一些真正的缺陷,为进一步完善这些开源项目提供了帮助,同时对该模型进行了仿真实验。实验结果表明,本文中提出的缺陷检测模型能够有效地检测出C代码中的四种冗余代码相关的缺陷,极大的方便了开发人员对此类缺陷的检测和修复,进一步保证了软件的质量。