[发明专利]对程序异常情况处理的规约生成方法、装置、设备及介质

权利要求书

1.一种对程序异常情况处理的规约生成方法，应用于接口执行错误后的异常情况的处理过程中，其特征在于，包括：

对于源代码中存在映射关系的被调用函数及其调用者，将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段；

在所述候选代码段中，将包含错误语义特征的代码段作为第一候选代码段，将不包含错误语义特征的代码段作为第二候选代码段；

如果检测到第一候选代码段，则从第一候选代码段中提取各函数对应的第一检测条件，如果检测到第二候选代码段，则从第二候选代码段中提取各函数对应的第二检测条件；所述第一检测条件和第二检测条件在对应候选代码段中均用于：控制对异常情况处理的代码是否执行；

对于任意一个被调用函数，从第一检测条件和/或第二检测条件中筛选出符合预设投票策略的目标检测条件；

将所述目标检测条件作为对程序异常情况进行处理的异常处理规约。

2.根据权利要求1所述的方法，将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段，包括：

基于被调用函数与其调用者之间的映射关系，在调用者对应的控制流自动机CFA中查找被调用函数是否符合预设异常处理代码结构；

若符合，则将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段。

3.根据权利要求2所述的方法，其特征在于，所述方法还包括：

对源代码进行编译抓取，得到中间结构，并将所述中间结构转化为中间语言LLVM IR；

将所述LLVM IR建模为控制流自动机CFA和程序调用图CG；

通过所述CG获取每个被调函数与其调用者之间的映射关系。

4.根据权利要求1所述的方法，其特征在于，从第一检测条件和第二检测条件中筛选出符合预设投票策略的目标检测条件，包括：

对第二检测条件进行投票，将最小支持度大于等于第一设定阈值，以及，最小置信度大于等于第二设定阈值的检测条件作为候选检测条件；

基于相同的函数名，将所述候选检测条件和所述第一检测条件进行合并；

从合并后的检测条件中提取出现频数最多的检测条件，作为目标检测条件。

5.根据权利要求1所述的方法，其特征在于，从第一检测条件中筛选出符合预设投票策略的目标检测条件，包括：

从第一检测条件中提取出现频数最多的检测条件，作为目标检测条件。

6.根据权利要求1所述的方法，其特征在于，从第二检测条件中筛选出符合预设投票策略的目标检测条件，包括：

对第二检测条件进行投票，将最小支持度大于等于第一设定阈值，以及，最小置信度大于等于第二设定阈值的检测条件作为候选检测条件，并从候选检测条件中提取出现频数最多的检测条件，作为目标检测条件。

7.一种对程序异常情况处理的规约生成装置，其特征在于，包括：

候选代码段确定模块，被配置为对于源代码中存在映射关系的被调用函数及其调用者，将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段；

候选代码段分类模块，被配置为在所述候选代码段中，将包含错误语义特征的代码段作为第一候选代码段，将不包含错误语义特征的代码段作为第二候选代码段；

检测条件提取模块，被配置为分别从第一候选代码段和第二候选代码段中，提取各函数对应的第一检测条件和第二检测条件，所述第一检测条件和第二检测条件在对应候选代码段中均用于：控制对异常情况处理的代码是否执行；

目标检测条件确定模块，被配置为对于任意一个被调用函数，从第一检测条件和/或第二检测条件中筛选出符合预设投票策略的目标检测条件；

异常处理规约生成模块，被配置为将所述目标检测条件作为对程序异常情况进行处理的异常处理规约。