[發(fā)明專利]用于測(cè)試智能合約的方法和裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 201710834235.4
• 申請(qǐng)日: 2017-09-15
• 公開（公告）號(hào): CN109508981A
• 公開（公告）日: 2019-03-22
• 發(fā)明（設(shè)計(jì)）人: 周恩策;皮冰鋒;華松;孫俊
• 申請(qǐng)（專利權(quán)）人: 富士通株式會(huì)社
• 主分類號(hào): G06Q20/38
• 分類號(hào): G06Q20/38
• 代理公司: 北京集佳知識(shí)產(chǎn)權(quán)代理有限公司 11227
• 代理人: 朱勝;李彥麗

公開了一種用于測(cè)試智能合約的方法和裝置，其中，用于測(cè)試智能合約的方法包括：利用用于檢測(cè)并定位邏輯風(fēng)險(xiǎn)的操作碼，檢測(cè)智能合約中的邏輯風(fēng)險(xiǎn)；基于用于檢測(cè)并定位邏輯風(fēng)險(xiǎn)的操作碼中的定位信息，定位出智能合約中的包含所檢測(cè)到的邏輯風(fēng)險(xiǎn)的至少一個(gè)函數(shù)；以及基于所述至少一個(gè)函數(shù)，測(cè)試智能合約。根據(jù)本公開的實(shí)施例，能夠更有針對(duì)性地測(cè)試智能合約。

技術(shù)領(lǐng)域

本公開涉及信息處理領(lǐng)域，具體涉及一種能夠更有針對(duì)性地測(cè)試智能合約的用于測(cè)試智能合約的方法和裝置。

背景技術(shù)

基于以太坊區(qū)塊鏈的應(yīng)用發(fā)展變得越來越普及，然而，存在對(duì)于以太坊區(qū)塊鏈上的智能合約發(fā)生的一些嚴(yán)重的攻擊。對(duì)于區(qū)塊鏈應(yīng)用開發(fā)者而言，智能合約的安全性問題變得越來越重要。傳統(tǒng)的方法可以檢測(cè)邏輯風(fēng)險(xiǎn)，但是不能定位邏輯風(fēng)險(xiǎn)。而且，關(guān)于智能合約結(jié)構(gòu)分析的傳統(tǒng)方法僅支持單個(gè)文件，而不能支持多文件智能合約分析。同時(shí)，關(guān)于如何更有效地生成目標(biāo)測(cè)試?yán)嬖谳^少的信息。

發(fā)明內(nèi)容

在下文中給出了關(guān)于本公開的簡(jiǎn)要概述，以便提供關(guān)于本公開的某些方面的基本理解。但是，應(yīng)當(dāng)理解，這個(gè)概述并不是關(guān)于本公開的窮舉性概述。它并不是意圖用來確定本公開的關(guān)鍵性部分或重要部分，也不是意圖用來限定本公開的范圍。其目的僅僅是以簡(jiǎn)化的形式給出關(guān)于本公開的某些概念，以此作為稍后給出的更詳細(xì)描述的前序。

鑒于以上問題，本公開的目的是提供能夠解決現(xiàn)有技術(shù)中的一個(gè)或多個(gè)缺點(diǎn)的用于測(cè)試智能合約的方法和裝置。

根據(jù)本公開的一方面，提供了一種用于測(cè)試智能合約的方法，包括：利用用于檢測(cè)并定位邏輯風(fēng)險(xiǎn)的操作碼，檢測(cè)智能合約中的邏輯風(fēng)險(xiǎn)；基于用于檢測(cè)并定位邏輯風(fēng)險(xiǎn)的操作碼中的定位信息，定位出智能合約中的包含所檢測(cè)到的邏輯風(fēng)險(xiǎn)的至少一個(gè)函數(shù)；以及基于所述至少一個(gè)函數(shù)，測(cè)試智能合約。

根據(jù)本公開的另一方面，提供了一種用于測(cè)試智能合約的裝置，包括：檢測(cè)邏輯風(fēng)險(xiǎn)單元，被配置成利用用于檢測(cè)并定位邏輯風(fēng)險(xiǎn)的操作碼，檢測(cè)智能合約中的邏輯風(fēng)險(xiǎn)；定位邏輯風(fēng)險(xiǎn)單元，被配置成基于用于檢測(cè)并定位邏輯風(fēng)險(xiǎn)的操作碼中的定位信息，定位出智能合約中的包含所檢測(cè)到的邏輯風(fēng)險(xiǎn)的至少一個(gè)函數(shù)；以及測(cè)試單元，被配置成基于所述至少一個(gè)函數(shù)，測(cè)試智能合約。

根據(jù)本公開的其它方面，還提供了用于實(shí)現(xiàn)上述根據(jù)本公開的方法的計(jì)算機(jī)程序代碼和計(jì)算機(jī)程序產(chǎn)品以及其上記錄有該用于實(shí)現(xiàn)上述根據(jù)本公開的方法的計(jì)算機(jī)程序代碼的計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。

在下面的說明書部分中給出本公開實(shí)施例的其它方面，其中，詳細(xì)說明用于充分地公開本公開實(shí)施例的優(yōu)選實(shí)施例，而不對(duì)其施加限定。

附圖說明

本公開可以通過參考下文中結(jié)合附圖所給出的詳細(xì)描述而得到更好的理解，其中在所有附圖中使用了相同或相似的附圖標(biāo)記來表示相同或者相似的部件。所述附圖連同下面的詳細(xì)說明一起包含在本說明書中并形成說明書的一部分，用來進(jìn)一步舉例說明本公開的優(yōu)選實(shí)施例和解釋本公開的原理和優(yōu)點(diǎn)。其中：

圖1是示出根據(jù)本公開的實(shí)施例的用于測(cè)試智能合約的方法的流程示例的流程圖；

圖2是示出根據(jù)本公開實(shí)施例的將邏輯風(fēng)險(xiǎn)定位到特定碼行的示例的圖；

圖3是示出根據(jù)本公開實(shí)施例的操作碼映射的示例的圖；

圖4是示出根據(jù)本公開實(shí)施例的調(diào)用關(guān)系分析的示例的圖；

圖5是示出根據(jù)本公開實(shí)施例的拓?fù)鋱D的示例的圖；

圖6是示出根據(jù)本公開實(shí)施例的函數(shù)調(diào)用修飾符的示例的圖；

圖7是示出根據(jù)本公開實(shí)施例的支持繼承分析的示例的圖；

圖8是示出示出根據(jù)本公開實(shí)施例的待測(cè)試函數(shù)的示例的圖；

圖9是示出根據(jù)本公開實(shí)施例的自動(dòng)生成測(cè)試?yán)氖纠膱D；