[发明专利]基于抽象解释的软件检测方法、装置、计算机设备和存储介质

权利要求书

1.一种基于抽象解释的软件检测方法，其特征在于，包括：

获取待检测软件的软件源代码；所述软件源代码上标注有抽象解释检测需求信息；

根据所述抽象解释检测需求信息对所述待检测软件进行检测，得到检测结果。

2.根据权利要求1所述的软件检测方法，其特征在于，所述根据所述抽象解释检测需求信息对所述待检测软件进行检测，得到检测结果的步骤，具体包括：

将所述待检测软件的软件源代码转化为以静态单赋值形式表示的软件中介码；

将所述抽象解释检测需求信息转化为以静态单赋值形式表示的检测需求中介码；

根据所述检测需求中介码对所述软件中介码进行检测分析，得到软件检测结果。

3.根据权利要求2所述的软件检测方法，其特征在于，所述根据所述检测需求中介码对所述软件中介码进行检测分析，得到软件检测结果的步骤，具体包括：

遍历所述软件中介码的所有语句，并确定存在抽象解释检测需求的目标语句；

根据所述检测需求中介码获取与所述目标语句关联的关联语句的上下文信息；

根据所述上下文信息以及所述检测需求中介码对所述软件中介码进行检测分析，得到软件检测结果。

4.根据权利要求3所述的软件检测方法，其特征在于，所述根据所述检测需求中介码获取与所述目标语句关联的关联语句的上下文信息的步骤，具体包括：

判断在所述目标语句上所述抽象解释检测需求的所需信息是否完整；

当判断所述目标语句上所述抽象解释检测需求的所需信息不完整时，根据所述检测需求中介码获取与所述目标语句关联的关联语句的上下文信息。

5.一种基于抽象解释的软件检测装置，其特征在于，包括：

软件源代码获取单元，用于获取待检测软件的软件源代码；所述软件源代码上标注有抽象解释检测需求信息；

软件检测单元，用于根据所述抽象解释检测需求信息对所述待检测软件进行检测，得到检测结果。

6.根据权利要求5所述的一种软件检测装置。其特征在于，所述软件检测单元包括：

软件源代码转化次单元，用于将所述待检测软件的软件源代码转化为以静态单赋值形式表示的软件中介码；

检测需求信息转化次单元，用于将所述抽象解释检测需求信息转化为以静态单赋值形式表示的检测需求中介码；

软件检测次单元，用于根据所述检测需求中介码对所述软件中介码进行检测分析，得到软件检测结果。

7.根据权利要求6所述的一种软件检测装置，其特征在于，所述软件检测次单元包括：

目标语句确定模块，用于遍历所述软件中介码的所有语句，并确定存在抽象解释检测需求的目标语句；

上下文信息获取模块，用于根据所述检测需求中介码获取与所述目标语句关联的关联语句的上下文信息；

软件检测模块，用于根据所述上下文信息以及所述检测需求中介码对所述软件中介码进行检测分析，得到软件检测结果。

8.根据权利要求7所述的一种软件检测装置，其特征在于，所述上下文信息获取模块包括：

信息判断次模块，用于判断在所述目标语句上所述抽象解释检测需求的所需信息是否完整；

上下文信息获取次模块，用于当判断所述目标语句上所述抽象解释检测需求的所需信息不完整时，根据所述检测需求中介码获取与所述目标语句关联的关联语句的上下文信息。

9.一种计算机设备，其特征在于，包括存储器和处理器，所述存储器中存储有计算机程序，所述计算机程序被所述处理器执行时，使得所述处理器执行权利要求1至4中任一项权利要求所述基于抽象解释的软件检测方法的步骤。

10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时，使得所述处理器执行权利要求1至4中任一项权利要求所述基于抽象解释的软件检测方法的步骤。