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

在審

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

本發明涉及一種智能合約的漏洞的檢測方法、裝置及設備，該方法包括：獲取待檢測合約文件；根據所述待檢測合約文件中可執行代碼的運行邏輯，獲取對應于待檢測合約文件中各終端結點的邏輯表達式；檢測每個邏輯表達式，獲得檢測結果；基于所述檢測結果，判定所述待檢測合約文件是否存在漏洞。本申請的方法能夠檢測待檢測合約文件中的邏輯關系，不需要依靠已知的漏洞特征信息即能檢測待檢測合約文件中的已知或未知的漏洞，故而可以提升檢測待檢測合約文件的漏洞時的檢測準確性，而且是對各種漏洞都可以檢測，提高了工作效率。

技術領域

本發明涉及區塊鏈領域，特別是涉及智能合約的漏洞的檢測方法、裝置及設備。

背景技術

區塊鏈是一個分布式的共享賬本和數據庫，具有去中心化、不可篡改、全程留痕、可追溯等特點，區塊鏈能夠解決信息不對稱問題，實現多個主體之間的協作信任與一致行動，這些特點使區塊鏈能夠應用于多種多樣的場景中。以太坊(Ethereum)是一個開源的公共區塊鏈平臺，擁有區塊鏈的去中心化、共識、分布式賬本等特點。它為所有開發者提供了基于Solidity語言的智能合約解決方案平臺，它上面提供各種模塊讓用戶來創建屬于自己項目的智能合約。智能合約是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議。智能合約允許在沒有第三方的情況下進行可信交易，這些交易可追蹤且不可逆轉。智能合約的目的是提供優于傳統合約的安全方法，并減少與合約相關的其他交易成本。區塊鏈采用的智能合約是開發人員去編寫的腳本代碼，因為缺乏有效的漏洞檢測模型，導致容易出現智能合約漏洞。目前市場中對智能合約漏洞檢測的方法主要是基于人工檢測智能合約的方法。基于人工檢測智能合約的技術方案的缺點明顯：人工檢測的方式，檢測結果完全依靠檢測人的技術水平，導致檢測結果參差不齊、多人核審結果不一致、工作效率低下等問題。

發明內容

基于此，有必要針對人工檢測方式的檢測結果完全依靠檢測人的技術水平，導致檢測結果參差不齊、多人核審結果不一致、工作效率低下等問題，提供一種智能合約的漏洞的檢測方法、裝置及設備。

一種智能合約的漏洞的檢測方法，包括：

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

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

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

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

在其中一個實施例中，所述根據待檢測合約文件中可執行代碼的運行邏輯，獲取對應于待檢測合約文件中各終端結點的邏輯表達式，包括：

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

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

在其中一個實施例中，所述檢測每個邏輯表達式，獲得檢測結果，包括：

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

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

在其中一個實施例中，所述通過輸入參數檢測對應的邏輯表達式的邏輯是否一致，并生成檢測結果，包括：

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

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

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