[发明专利]用于源代码配对的静态检查方法及装置

权利要求书

1.一种用于源代码配对的静态检查方法，其特征在于，包括以下步骤：

S1、对所述源代码进行词法分析，将所述源代码中的注释滤除，并将所述源代码拆分成若干个记号流；

S2、对所述记号流进行语法分析以构造语法树；

S3、对所述语法树进行语义分析，查找需配对元素，并标记所述需配对元素的作用域；

S4、判断所述需配对元素在所述作用域中是否配对；

S5、若发现未被配对的所述需配对元素，则进一步判断是否允许修正；

S6、若允许修正则在所述作用域结束处添加配对；以及

S7、若不允许修正则发出警告和提示。

2.如权利要求1所述的源代码配对的静态检查方法，其特征在于，还包括：

S8、若所述需配对元素全部配对，则直接结束检查。

3.如权利要求1或2所述的源代码配对的静态检查方法，其特征在于，所述需配对元素包括：内存元素、锁元素和信号量元素。

4.如权利要求1-3任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在主函数中时，在所述主函数的结束处添加配对。

5.如权利要求1-3任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在子函数中时，在所述子函数的结束处添加配对。

6.如权利要求1-3任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在分支结构中时，在所述分支结构的每一个分支的结束处添加配对。

7.如权利要求1-3任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在循环结构中时，在所述循环结构的每一个循环节的结束处添加配对。

8.一种用于源代码配对的静态检查装置，其特征在于，包括以下部分：

词法分析器，用于对所述源代码进行词法分析，将所述源代码中的注释滤除，并将所述源代码拆分成若干个记号流；

语法分析器，用于对所述记号流进行语法分析以构造语法树；

查找及标记模块，用于对所述语法树进行语义分析，查找需配对元素，并标记所述需配对元素的作用域；

第一判断模块，用于判断所述需配对元素在所述作用域中是否配对，若发现未被配对的所述需配对元素，则进入第二判断模块；

所述第二判断模块，用于判断是否允许修正，若允许修正则进入修正模块，若不允许修正则发出警告和提示；以及

所述修正模块，用于在所述作用域结束处添加配对。

9.如权利要求8所述的源代码配对的静态检查装置，其特征在于：若所述第一判断模块判断需配对元素全部配对，则直接结束检查。

10.如权利要求8或9所述的源代码配对的静态检查方法，其特征在于，所述需配对元素包括：内存元素、锁元素和信号量元素。

11.如权利要求8-10任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在主函数中时，在所述主函数的结束处添加配对。

12.如权利要求8-10任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在子函数中时，在所述子函数的结束处添加配对。

13.如权利要求8-10任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在分支结构中时，在所述分支结构的每一个分支的结束处添加配对。

14.如权利要求8-10任一项所述的源代码配对的静态检查方法，其特征在于，当未被配对的所述需配对元素出现在循环结构中时，在所述循环结构的每一个循环节的结束处添加配对。