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

摘要

本发明公开了一种基于代码替换和正则表达式的静态分析工具改进方法，静态分析工具采用预处理模块对源代码进行预处理，生成中间代码；采用语法分析模块对中间代码进行语法分析最终获得双向token链表；采用缺陷模式匹配模块用于将双向token链表与缺陷模式进行对比，找到其中匹配的部分，处理获得静态分析结果；在预处理模块中对源代码进行预处理时，将i++替换为(i＝i+1)‑1，将++i替换为i＝i+1，将i‑‑换为(i＝i‑1)+1，将‑‑i替换为i＝i‑1；在缺陷模式匹配模块中增加如下正则表达式：if(％var％＝％num％)；if(％any％&％any％)；scanf(％str％,％var％)；其中％var％、％num％、％any％、％any％、％str％以及％var％均为变量。本发明可以提高整形溢出问题的准确度，降低漏报率，少人工检查的成本。

主权项

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语句。