[發明專利]智能合約的漏洞的檢測方法、裝置及計算機設備

在審

• 申請號: 202011280604.8
• 申請日: 2020-11-16
• 公開（公告）號: CN112380541A
• 公開（公告）日: 2021-02-19
• 發明（設計）人: 代健武
• 申請（專利權）人: 深圳壹賬通智能科技有限公司
• 主分類號: G06F21/57
• 分類號: G06F21/57;G06F8/41;G06F16/27;G06Q40/04
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 劉廣達

1.一種智能合約的漏洞的檢測方法，其特征在于，包括：

獲取待檢測合約文件；所述待檢測合約文件即需要進行漏洞檢測的智能合約的合約文件；

根據所述待檢測合約文件中可執行代碼的運行邏輯，獲取對應于待檢測合約文件中各終端結點的邏輯表達式；

檢測每個邏輯表達式，獲得檢測結果；

基于所述檢測結果，判定所述待檢測合約文件是否存在漏洞。

2.根據權利要求1所述的方法，其特征在于，所述根據待檢測合約文件中可執行代碼的運行邏輯，獲取對應于待檢測合約文件中各終端結點的邏輯表達式，包括：

根據所述可執行代碼的運行邏輯，生成與所述待檢測合約文件中的可執行代碼相對應的控制流圖；

根據所述控制流圖，生成與所述待檢測合約文件中各個終端結點相對應的邏輯表達式。

3.根據權利要求1或2所述的方法，其特征在于，所述檢測每個邏輯表達式，獲得檢測結果，包括：

確定每個邏輯表達式所對應的輸入參數；

通過所述輸入參數檢測對應的邏輯表達式的邏輯是否一致，并生成檢測結果。

4.根據權利要求3所述的方法，其特征在于，所述通過所述輸入參數檢測對應的邏輯表達式的邏輯是否一致，并生成檢測結果，包括：

當輸入參數包括輸入值時，將輸入值輸入對應的邏輯表達式，得到輸出結果，判斷輸出結果與邏輯表達式的邏輯是否一致；

若輸出結果與邏輯表達式的邏輯是一致的，則確定得到不存在漏洞的檢測結果；

若輸出結果與邏輯表達式的邏輯不一致，則確定得到存在漏洞的檢測結果。

5.根據權利要求3所述的方法，其特征在于，所述通過輸入參數檢測對應的邏輯表達式的邏輯是否一致，并生成檢測結果，包括：

當輸入參數包括輸入值以及將該輸入值輸入對應的邏輯表達式所得到的理想輸出結果時，將輸入值輸入對應的邏輯表達式，得到實際輸出結果；

當實際輸出結果與理想輸出結果不一致時，確定得到存在漏洞的檢測結果；

當實際輸出結果與理想輸出結果一致時，確定得到不存在漏洞的檢測結果。

6.根據權利要求1所述的方法，其特征在于，所述方法還包括：當基于檢測結果確定待檢測合約文件存在漏洞時，確定待檢測合約文件的分數。

7.根據權利要求6所述的方法，其特征在于，所述確定待檢測合約文件的分數，包括：

將每個存在漏洞的邏輯表達式分別與預設的各漏洞類型所對應的漏洞特征進行匹配，基于匹配結果確定邏輯表達式的漏洞類型；

基于各邏輯表達式的漏洞類型，確定待檢測合約文件的漏洞特征信息；

從預設的各漏洞特征信息與分數之間的對應關系中，將該漏洞特征信息所對應的分數確定為待檢測合約文件的分數。

8.一種智能合約的漏洞的檢測裝置，其特征在于，包括：

第一獲取模塊，用于獲取待檢測合約文件；所述待檢測合約文件即需要進行漏洞檢測的智能合約的合約文件；

第二獲取模塊，用于根據所述待檢測合約文件中可執行代碼的運行邏輯，獲取對應于待檢測合約文件中各終端結點的邏輯表達式；

檢測模塊，用于檢測每個邏輯表達式，獲得檢測結果；

判定模塊，用于基于檢測結果，判定所述待檢測合約文件是否存在漏洞。

9.一種計算機設備，包括存儲器和處理器，所述存儲器中存儲有計算機可讀指令，所述計算機可讀指令被所述處理器執行時，使得所述處理器執行如權利要求1至7中任一項權利要求所述智能合約的漏洞的檢測方法的步驟。

10.一種存儲有計算機可讀指令的存儲介質，所述計算機可讀指令被一個或多個處理器執行時，使得一個或多個處理器執行如權利要求1至7中任一項權利要求所述智能合約的漏洞的檢測方法的步驟。