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

说明书

本发明适用于计算机技术领域，尤其涉及一种基于抽象解释的软件检测方法、装置、计算机设备和存储介质，所述方法包括：获取待检测软件的标注有抽象解释检测需求信息的软件源代码；根据所述抽象解释检测需求信息对所述待检测软件进行检测，得到检测结果。本发明提供的软件检测方法通过预先对待检测软件的软件源代码的源代码进行抽象解释检测需求标注，使得软件源代码上标注有抽象解释检测需求信息，然后根据抽象解释检测需求信息对待检测软件进行检测，通过对待检测软件中标注及关联部分进行检测分析，无需对整个待检测软件进行检测分析，有效地降低了检测时的占用存储空间，提高了基于抽象解释的检测效率，可以更好的应用在大规模软件的检测上。

技术领域

本发明属于计算机技术领域，尤其涉及一种基于抽象解释的软件检测方法、装置、计算机设备和存储介质。

背景技术

抽象解释在遍历中间表示时通过近似程序语义来搜集程序信息，从而可以静态的分析程序运行时的行为，以更早的发现程序潜在的缺陷和漏洞、及时修正，避免在真实运行时出错或发生安全暴露利用。然而，由于软件规模的快速扩张，抽象解释在大规模的软件分析的应用过程中，存在性能上的限制。

现有的基于抽象解释的软件检测方法在大规模的软件分析时还存在着占用存储空间过大、耗时过长的技术问题，导致分析无法在有限时间内完成或由于资源限制被迫终止，影响了软件分析的结果。

发明内容

本发明实施例的目的在于提供一种基于抽象解释的软件检测方法，旨在解决现有的基于抽象解释的软件检测方法还存在的占用存储空间过大、耗时过长，导致分析无法在有限时间内完成或由于资源限制被迫终止，影响了软件分析的结果的技术问题。

本发明实施例是这样实现的，一种基于抽象解释的软件检测方法，包括：

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

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

本发明实施例的另一目的在于提供一种基于抽象解释的软件检测装置，包括：

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

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

本发明实施例的另一目的在于提供一种计算机设备，包括存储器和处理器，所述存储器中存储有计算机程序，所述计算机程序被所述处理器执行时，使得所述处理器执行如上述所述基于抽象解释的软件检测方法的步骤。

本发明实施例的另一目的在于提供一种计算机可读存储介质，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时，使得所述处理器执行如上述所述基于抽象解释的软件检测方法的步骤。

本发明实施例提供的一种基于抽象解释的软件检测方法，通过预先对待检测软件的软件源代码的源代码进行抽象解释检测需求标注，使得软件源代码上标注有抽象解释检测需求信息，然后根据抽象解释检测需求信息对所述待检测软件进行检测，通过对待检测软件中标注及关联部分进行检测分析，无需对整个待检测软件进行检测分析，有效地降低了检测时的占用存储空间，提高了基于抽象解释的检测效率，可以更好的应用在大规模软件的检测上。

附图说明

图1为本发明实施例提供的一种基于抽象解释的软件检测方法的步骤流程图；

图2为本发明实施例提供的一种基于抽象解释检测需求信息进行检测的步骤流程图；

图3为本发明实施例提供的一种基于检测需求中介码进行检测的步骤流程图；

图4为本发明实施例提供的另一种基于检测需求中介码进行检测的步骤流程图；