[發明專利]符號執行的引導方法、裝置、設備及計算機可讀存儲介質

有效

• 申請號: 201910639918.3
• 申請日: 2019-07-16
• 公開（公告）號: CN110457208B
• 公開（公告）日: 2023-01-06
• 發明（設計）人: 馮倩;郭生健;李鵬;王明華;張玉龍;韋韜
• 申請（專利權）人: 百度在線網絡技術（北京）有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京鴻德海業知識產權代理有限公司 11412
• 代理人: 田宏賓

本申請提供一種符號執行的引導方法、裝置、設備及計算機可讀存儲介質。本申請實施例通過確定程序的特定代碼區域，進而，則可以利用程序逆向分析方法，獲得所述程序的特定代碼區域所對應的所述程序的程序循環輸出，使得能夠根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入，這樣，可以利用所獲得的所述特定代碼區域所對應的所述程序的程序循環輸入，引導符號執行過濾不可能的執行路徑跳出程序循環到達所述特定代碼區域，從而提高了符號執行的可靠性。

【技術領域】

本申請涉及軟件測試技術，尤其涉及一種符號執行的引導方法、裝置、設備及計算機可讀存儲介質。

【背景技術】

符號執行(Symbolic Execution)是一種程序分析技術，它可以通過分析程序來獲得到達特定代碼區域的程序輸入。例如，在軟件測試中，符號執行(symbolic execution)可以被用于生成可到達程序的漏洞點所在代碼區域的程序輸入。

然而，在一些情況下，例如，符號執行在處理程序中的程序循環時可能會存在路徑爆炸(Path Explosion)的現象，使得符號執行無法跳出程序循環，從而無法生成可到達程序的特定代碼區域的程序輸入，從而導致了符號執行的可靠性的降低。

【發明內容】

本申請的多個方面提供一種符號執行的引導方法、裝置、設備及計算機可讀存儲介質，用以提高符號執行的可靠性。

本申請的一方面，提供一種符號執行的引導方法，包括：

確定程序的特定代碼區域；

利用程序逆向分析方法，獲得所述程序的特定代碼區域所對應的所述程序的程序循環輸出；

根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入。

本申請的另一方面，提供一種符號執行的引導裝置，包括：

確定單元，用于確定程序的特定代碼區域；

執行單元，用于利用程序逆向分析方法，獲得所述程序的特定代碼區域所對應的所述程序的程序循環輸出；

預測單元，用于根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入。

本申請的另一方面，提供一種設備，所述設備包括：

一個或多個處理器；

存儲裝置，用于存儲一個或多個程序，

當所述一個或多個程序被所述一個或多個處理器執行，使得所述一個或多個處理器實現如上述一方面所提供的符號執行的引導方法。

本申請的另一方面，提供一種計算機可讀存儲介質，其上存儲有計算機程序，該程序被處理器執行時實現如上述一方面所提供的符號執行的引導方法。

由上述技術方案可知，本申請實施例通過確定程序的特定代碼區域，進而，則可以利用程序逆向分析方法，獲得所述程序的特定代碼區域所對應的所述程序的程序循環輸出，使得能夠根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入，這樣，可以利用所獲得的所述特定代碼區域所對應的所述程序的程序循環輸入，引導符號執行過濾不可能的執行路徑跳出程序循環到達所述特定代碼區域，從而提高了符號執行的可靠性。

另外，采用本申請所提供的技術方案，能夠生成程序到達該程序的特定代碼區域的有效的程序循環輸入，從而有效提高了程序的測試效率。