[发明专利]一种基于代码替换和正则表达式的静态分析工具改进方法

权利要求书

1.一种基于代码替换和正则表达式的静态分析工具改进方法，所述静态分析工具包括预处理模块、语法分析以及缺陷模式匹配模块，所述预处理模块用于对源代码进行预处理，生成中间代码；所述语法分析模块用于对中间代码进行语法分析最终获得双向token链表；所述缺陷模式匹配模块用于将所述双向token链表与缺陷模式进行对比，找到其中匹配的部分，处理获得静态分析结果；其特征在于，在所述预处理模块中对源代码进行预处理时，对源代码中出现的自增操作i++、++i与自减操作i--、--i进行如下替换：将i++替换为(i＝i+1)-1，将++i替换为i＝i+1，将i--换为(i＝i-1)+1，将--i替换为i＝i-1；其中i为自增操作或者自减操作的变量；

在所述缺陷模式匹配模块中增加如下正则表达式：if(％var％＝％num％)；if(％any％&％any％)；scanf(％str％,％var％)；

其中％var％、％num％、％any％以及％str％均为变量；if为源代码中的if语句，scanf为源代码中的scanf语句。

2.如权利要求1所述的一种基于代码替换和正则表达式的静态分析工具改进方法，其特征在于，所述预处理模块接收外部输入的包含源代码的文件，首先将文件中的头文件和源代码进行组合，然后对源代码中出现的自增操作i++、++i与自减操作i--、--i进行替换之后，再对宏定义进行预处理，最终获得中间代码。

3.如权利要求1或2所述的一种基于代码替换和正则表达式的静态分析工具改进方法，其特征在于，所述语法分析模块包括如下步骤：对中间代码首先进行词法分析，是将由字符串序列组成的源代码划分创建一个用于存储token的双向token链表，然后逐字节地读入源代码中的每个字符，并将其划分为一个个完整的具有明确含义的最小化的单位token，然后将按照token在源代码中出现的顺序将所有的token添加到双向token链表中。

4.如权利要求1或2所述的一种基于代码替换和正则表达式的静态分析工具改进方法，其特征在于，所述缺陷模式包括在工业生产和软件开发中总结出来的多种缺陷模式。