[發明專利]一種基于符號執行驗證的智能合約漏洞檢測方法及裝置

在審

• 申請號: 202111243944.8
• 申請日: 2021-10-26
• 公開（公告）號: CN113688403A
• 公開（公告）日: 2021-11-23
• 發明（設計）人: 汪德嘉;王澤旭;宋超
• 申請（專利權）人: 江蘇通付盾科技有限公司
• 主分類號: G06F21/57
• 分類號: G06F21/57
• 代理公司: 北京弘權知識產權代理有限公司 11363
• 代理人: 逯長明;許偉群

1.一種基于符號執行驗證的智能合約漏洞檢測方法，其特征在于，所述方法包括：

獲取輸入初始值，所述輸入初始值包括符號值以及與所述符號值對應的、用于簡化約束條件的實際值；

根據所述初始值或者經過路徑反求后的結果選擇將要執行的路徑并執行；

當當前路徑執行到葉子節點時停止，根據執行結果生成所述當前路徑的約束條件；

將約束條件反求得到路徑反求后的結果，所述結果對應下一個要執行的新路徑；

當滿足第一預設規則后，停止路徑執行并生成包括所有執行路徑的執行樹；

基于所述執行樹完成智能合約屬性驗證，得到驗證結果。

2.根據權利要求1所述的一種基于符號執行驗證的智能合約漏洞檢測方法，其特征在于，所述第一預設規則包括：

記錄輸入初始值的時間，當路徑執行的總時長達到第一預設時長，停止路徑執行。

3.根據權利要求1所述的一種基于符號執行驗證的智能合約漏洞檢測方法，其特征在于，所述第一預設規則包括：

當滿足屬性驗證的路徑被執行或達到結束探索條件時，停止路徑執行。

4.根據權利要求1所述的一種基于符號執行驗證的智能合約漏洞檢測方法，其特征在于，所述將約束條件反求得到路徑反求后的結果的步驟包括：

查找當前路徑中的路徑分支節點；

將葉子節點的上一級路徑分支節點求反，生成新的路徑。

5.根據權利要求4所述的一種基于符號執行驗證的智能合約漏洞檢測方法，其特征在于，執行新的路徑前，所述方法還包括：

判斷新的路徑是否已被執行；

若是，則將當前路徑分支節點的上一級路徑分支節點求反，將生成的新的路徑作為將要執行的新的路徑。

6.一種基于符號執行驗證的智能合約漏洞檢測裝置，其特征在于，包括：

獲取單元，被配置為獲取輸入初始值，所述輸入初始值包括符號值以及與所述符號值對應的、用于簡化約束條件的實際值；

路徑選擇單元，被配置為根據所述初始值或者經過路徑反求后的結果選擇將要執行的路徑并執行；

約束求解單元，被配置為當當前路徑執行到葉子節點時停止時，根據執行結果生成所述當前路徑的約束條件；以及將約束條件反求得到路徑反求后的結果，所述結果對應下一個要執行的新路徑；

分析單元，被配置為當滿足第一預設規則后，停止路徑執行并生成包括所有執行路徑的執行樹；

驗證單元，被配置為基于所述執行樹完成智能合約屬性驗證，得到驗證結果。

7.根據權利要求6所述的一種基于符號執行驗證的智能合約漏洞檢測裝置，其特征在于，所述檢測裝置還包括：

計時單元，被配置為記錄輸入初始值的時間，當路徑執行的總時長達到第一預設時長，停止路徑執行。

8.根據權利要求6所述的一種基于符號執行驗證的智能合約漏洞檢測裝置，其特征在于，所述分析單元還被配置為：

當滿足屬性驗證的路徑被執行或達到結束探索條件時，停止路徑執行。

9.根據權利要求6所述的一種基于符號執行驗證的智能合約漏洞檢測裝置，其特征在于，所述約束求解單元包括：

查找子單元，被配置為查找當前路徑中的路徑分支節點；

求反子單元，被配置為將葉子節點的上一級路徑分支節點求反，生成新的路徑。

10.根據權利要求9所述的一種基于符號執行驗證的智能合約漏洞檢測裝置，其特征在于，所述約束求解單元還包括：

判斷子單元，被配置為判斷新的路徑是否已被執行；

若是，則將當前路徑分支節點的上一級路徑分支節點求反，將生成的新的路徑作為將要執行的新的路徑。