[發明專利]符號執行的引導方法、裝置、設備及計算機可讀存儲介質有效
| 申請號： | 201910639918.3 | 申請日： | 2019-07-16 |
| 公開（公告）號： | CN110457208B | 公開（公告）日： | 2023-01-06 |
| 發明（設計）人： | 馮倩;郭生健;李鵬;王明華;張玉龍;韋韜 | 申請（專利權）人： | 百度在線網絡技術（北京）有限公司 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 北京鴻德海業知識產權代理有限公司 11412 | 代理人： | 田宏賓 |
| 地址： | 100085 北京*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 符號 執行 引導 方法 裝置 設備 計算機 可讀 存儲 介質 | ||
1.一種符號執行的引導方法，其特征在于，包括：
確定程序的特定代碼區域；
利用程序逆向分析方法，獲得所述程序的特定代碼區域所對應的所述程序的程序循環輸出；
根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入；其中，
所述根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入之前，還包括：
利用抽象解釋，獲得所述程序的循環中第一次迭代操作之前的程序狀態和每一次迭代操作之后的程序狀態；
將每一次迭代操作之前的程序狀態和該次迭代操作之后的程序狀態，作為一條訓練數據；
利用至少兩條訓練數據，構建基于循環神經網絡RNN的所述程序循環預測器。
2.根據權利要求1所述的方法，其特征在于，所述確定程序的特定代碼區域，包括：
利用抽象解釋，確定所述程序的特定代碼區域。
3.根據權利要求1所述的方法，其特征在于，所述程序的特定代碼區域包括所述程序的漏洞點所在代碼區域。
4.根據權利要求1～3任一權利要求所述的方法，其特征在于，所述利用至少兩條訓練數據，構建基于RNN的所述程序循環預測器，包括：
將所述至少兩條訓練數據中的程序狀態進行向量化處理，以獲得狀態向量；
利用向量化處理之后的至少兩條訓練數據，構建基于RNN的所述程序循環預測器。
5.一種符號執行的引導裝置，其特征在于，包括：
確定單元，用于確定程序的特定代碼區域；
執行單元，用于利用程序逆向分析方法，獲得所述程序的特定代碼區域所對應的所述程序的程序循環輸出；
預測單元，用于根據所述程序的程序循環輸出，利用程序循環預測器，獲得所述特定代碼區域所對應的所述程序的程序循環輸入；其中，
所述預測單元，還用于
利用抽象解釋，獲得所述程序的循環中第一次迭代操作之前的程序狀態和每一次迭代操作之后的程序狀態；
將每一次迭代操作之前的程序狀態和該次迭代操作之后的程序狀態，作為一條訓練數據；以及
利用至少兩條訓練數據，構建基于循環神經網絡RNN的所述程序循環預測器。
6.根據權利要求5所述的裝置，其特征在于，所述確定單元，具體用于
利用抽象解釋，確定所述程序的特定代碼區域。
7.根據權利要求5所述的裝置，其特征在于，所述程序的特定代碼區域包括所述程序的漏洞點所在代碼區域。
8.根據權利要求5～7任一權利要求所述的裝置，其特征在于，所述預測單元，具體用于
將所述至少兩條訓練數據中的程序狀態進行向量化處理，以獲得狀態向量；以及
利用向量化處理之后的至少兩條訓練數據，構建基于RNN的所述程序循環預測器。
9.一種電子設備，其特征在于，所述電子設備包括：
一個或多個處理器；
存儲裝置，用于存儲一個或多個程序，
當所述一個或多個程序被所述一個或多個處理器執行，使得所述一個或多個處理器實現如權利要求1～4中任一權利要求所述的方法。
10.一種計算機可讀存儲介質，其上存儲有計算機程序，其特征在于，該程序被處理器執行時實現如權利要求1～4中任一權利要求所述的方法。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于百度在線網絡技術（北京）有限公司，未經百度在線網絡技術（北京）有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201910639918.3/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：基于機器學習模型的測試方法及相關設備
- 下一篇：用于調試應用的方法和系統
