[發明專利]基于抽象解釋的軟件檢測方法、裝置、計算機設備和存儲介質

在審

• 申請號: 202010523994.0
• 申請日: 2020-06-10
• 公開（公告）號: CN111708694A
• 公開（公告）日: 2020-09-25
• 發明（設計）人: 李隆;朱慶;李世杰;賴建新
• 申請（專利權）人: XC5香港有限公司;相持軟件（深圳）有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F21/56
• 代理公司: 深圳市中智立信知識產權代理有限公司 44427
• 代理人: 丁麗琴

本發明適用于計算機技術領域，尤其涉及一種基于抽象解釋的軟件檢測方法、裝置、計算機設備和存儲介質，所述方法包括：獲取待檢測軟件的標注有抽象解釋檢測需求信息的軟件源代碼；根據所述抽象解釋檢測需求信息對所述待檢測軟件進行檢測，得到檢測結果。本發明提供的軟件檢測方法通過預先對待檢測軟件的軟件源代碼的源代碼進行抽象解釋檢測需求標注，使得軟件源代碼上標注有抽象解釋檢測需求信息，然后根據抽象解釋檢測需求信息對待檢測軟件進行檢測，通過對待檢測軟件中標注及關聯部分進行檢測分析，無需對整個待檢測軟件進行檢測分析，有效地降低了檢測時的占用存儲空間，提高了基于抽象解釋的檢測效率，可以更好的應用在大規模軟件的檢測上。

技術領域

本發明屬于計算機技術領域，尤其涉及一種基于抽象解釋的軟件檢測方法、裝置、計算機設備和存儲介質。

背景技術

抽象解釋在遍歷中間表示時通過近似程序語義來搜集程序信息，從而可以靜態的分析程序運行時的行為，以更早的發現程序潛在的缺陷和漏洞、及時修正，避免在真實運行時出錯或發生安全暴露利用。然而，由于軟件規模的快速擴張，抽象解釋在大規模的軟件分析的應用過程中，存在性能上的限制。

現有的基于抽象解釋的軟件檢測方法在大規模的軟件分析時還存在著占用存儲空間過大、耗時過長的技術問題，導致分析無法在有限時間內完成或由于資源限制被迫終止，影響了軟件分析的結果。

發明內容

本發明實施例的目的在于提供一種基于抽象解釋的軟件檢測方法，旨在解決現有的基于抽象解釋的軟件檢測方法還存在的占用存儲空間過大、耗時過長，導致分析無法在有限時間內完成或由于資源限制被迫終止，影響了軟件分析的結果的技術問題。

本發明實施例是這樣實現的，一種基于抽象解釋的軟件檢測方法，包括：

獲取待檢測軟件的軟件源代碼；所述軟件源代碼上標注有抽象解釋檢測需求信息；

根據所述抽象解釋檢測需求信息對所述待檢測軟件進行檢測，得到檢測結果。

本發明實施例的另一目的在于提供一種基于抽象解釋的軟件檢測裝置，包括：

軟件源代碼獲取單元，用于獲取待檢測軟件的軟件源代碼；所述軟件源代碼上標注有抽象解釋檢測需求信息；

軟件檢測單元，用于根據所述抽象解釋檢測需求信息對所述待檢測軟件進行檢測，得到檢測結果。

本發明實施例的另一目的在于提供一種計算機設備，包括存儲器和處理器，所述存儲器中存儲有計算機程序，所述計算機程序被所述處理器執行時，使得所述處理器執行如上述所述基于抽象解釋的軟件檢測方法的步驟。

本發明實施例的另一目的在于提供一種計算機可讀存儲介質，所述計算機可讀存儲介質上存儲有計算機程序，所述計算機程序被處理器執行時，使得所述處理器執行如上述所述基于抽象解釋的軟件檢測方法的步驟。

本發明實施例提供的一種基于抽象解釋的軟件檢測方法，通過預先對待檢測軟件的軟件源代碼的源代碼進行抽象解釋檢測需求標注，使得軟件源代碼上標注有抽象解釋檢測需求信息，然后根據抽象解釋檢測需求信息對所述待檢測軟件進行檢測，通過對待檢測軟件中標注及關聯部分進行檢測分析，無需對整個待檢測軟件進行檢測分析，有效地降低了檢測時的占用存儲空間，提高了基于抽象解釋的檢測效率，可以更好的應用在大規模軟件的檢測上。

附圖說明

圖1為本發明實施例提供的一種基于抽象解釋的軟件檢測方法的步驟流程圖；

圖2為本發明實施例提供的一種基于抽象解釋檢測需求信息進行檢測的步驟流程圖；

圖3為本發明實施例提供的一種基于檢測需求中介碼進行檢測的步驟流程圖；

圖4為本發明實施例提供的另一種基于檢測需求中介碼進行檢測的步驟流程圖；