[发明专利]抑制计算机程序中的警告的方法和计算设备

权利要求书

1.一种抑制计算机程序中的警告的方法，包括：

接收计算机程序的第一版本；

对所述计算机程序的所述第一版本执行第一静态分析，其中执行所述第一静态分析包括：

标识所述计算机程序的所述第一版本中与所述计算机程序的所述第一版本中的第一位置相对应的警告；以及

推断使得所述警告在所述计算机程序的所述第一版本中被抑制的条件；

接收所述计算机程序的第二版本，所述计算机程序的所述第二版本与所述计算机程序的所述第一版本不相同；以及

将所述条件的假设插入所述计算机程序的所述第二版本。

2.如权利要求1所述的方法，其特征在于，进一步包括：

对所述计算机程序的所述第二版本执行第二静态分析；以及

基于对所述计算机程序的所述第二版本执行所述第二静态分析而基于所述计算机程序的所述第二版本中的所述条件的假设抑制所述警告。

3.如权利要求2所述的方法，其特征在于，进一步包括：

基于对所述计算机程序的所述第二版本执行所述静态分析标识第二警告，所述第二警告由在生成所述计算机程序的所述第二版本时对所述计算机程序的所述第一版本的修订引起；以及

在计算设备的显示屏上显示所述第二警告。

4.如权利要求1所述的方法，其特征在于，所述条件被推断为是充分条件，所述充分条件保证所述充分条件被假设时，所述程序的所述第一版本在被执行时从所述第一位置到达令人满意的状态。

5.如权利要求1所述的方法，其特征在于，所述条件被推断为是必要条件，所述必要条件表达如果该条件没有被满足，则所述程序的所述第一版本在被执行时从所述第一位置到达不令人满意的状态。

6.如权利要求1所述的方法，其特征在于，推断针对所述警告的条件包括：

标识以非错误状态终止的通过所述计算机程序的所述第一版本的执行踪迹；以及

至少部分地基于对以非错误状态终止的通过所述计算机程序的所述第一版本的执行踪迹的标识，推断针对所述警告的条件。

7.如权利要求1所述的方法，其特征在于，所述假设被插入到所述计算机程序的所述第二版本中的函数入口点或方法调用之一处。

8.一种抑制计算机程序中的警告的计算设备，包括：

处理器；以及

存储器，所述存储器包括由所述处理器执行的多个组件，所述多个组件包括：

接收器组件，所述接收器组件接收数据库中保持的条件，所述条件是基于执行对计算机代码的第一版本的静态分析推断出的，当所述计算机代码的所述第一版本中假设了所述条件时，所述条件在所述计算机代码的所述第一版本被执行时使得计算机代码的所述第一版本到达非错误状态；以及

插入器组件，所述插入器组件检测具有所述条件的假设的所述计算机代码的第二版本。

9.如权利要求8所述的计算设备，其特征在于，所述多个组件还包括：静态分析器组件，所述静态分析器组件执行对其中插入有所述条件的所述假设的所述代码的所述第二版本的静态分析。

10.如权利要求9所述的计算设备，其特征在于，所述静态分析器组件基于对其中插入有所述条件的所述假设的所述代码的所述第二版本的所述静态分析而输出警告，其中所述警告指示所述代码的所述第二版本中的修订引起了所述警告。

11.一种存储有指令的计算机可读存储介质，所述指令在被执行时使得计算机执行如权利要求1-7中的任一项所述的方法。

12.一种计算机系统，包括用于执行权利要求1-7中的任一项所述的方法的装置。