[發(fā)明專利]一種智能合約模糊測試方法、裝置、存儲介質(zhì)及電子設(shè)備

在審

• 申請?zhí)枺?/td>: 202211247082.0
• 申請日: 2022-10-12
• 公開（公告）號: CN115455435A
• 公開（公告）日: 2022-12-09
• 發(fā)明（設(shè)計）人: 鄭子彬;陳翔;葉銘熙;郝偲成
• 申請（專利權(quán)）人: 中山大學(xué)
• 主分類號: G06F21/57
• 分類號: G06F21/57;G06F11/36
• 代理公司: 北京集佳知識產(chǎn)權(quán)代理有限公司 11227
• 代理人: 李偉賢

1.一種智能合約模糊測試方法，其特征在于，包括以下步驟：

S1：獲取智能合約數(shù)據(jù)集，構(gòu)建各智能合約的函數(shù)調(diào)用圖和各函數(shù)的控制流圖；

S2：依次運行第一測試用例集中的各測試用例，并記錄各測試用例所覆蓋的函數(shù)和基本塊，若當(dāng)前測試用例只覆蓋了前面測試用例已覆蓋的函數(shù)和基本塊，則從所述第一測試用例集中刪除當(dāng)前測試用例，根據(jù)各測試用例運行時收集的漏洞信息和預(yù)設(shè)的漏洞測試預(yù)言判斷所述智能合約中是否存在對應(yīng)漏洞，所述基本塊為所述控制流圖中各分支對應(yīng)的代碼；

S3：計算所述第一測試用例集中各測試用例到目標(biāo)基本塊的第一距離，所述目標(biāo)基本塊是從所有測試用例未覆蓋的基本塊中隨機(jī)選擇的，將所述第一距離的最小值對應(yīng)的測試用例加入第二測試用例集，根據(jù)所述第二測試用例集中的測試用例生成若干新的測試用例，將所述新的測試用例加入所述第一測試用例集，返回執(zhí)行S2直至模糊測試時間達(dá)到預(yù)設(shè)的時間閾值。

2.根據(jù)權(quán)利要求1所述的智能合約模糊測試方法，其特征在于，計算各測試用例到目標(biāo)基本塊的第一距離包括：

根據(jù)所述函數(shù)調(diào)用圖得到各測試用例所覆蓋的各函數(shù)到目標(biāo)函數(shù)的第二距離，所述目標(biāo)函數(shù)為所述目標(biāo)基本塊所在的函數(shù)；

根據(jù)所述流程控制圖得到各測試用例所覆蓋的各基本塊到所述目標(biāo)基本塊的第三距離，所述第三距離是根據(jù)所述第二距離計算得到的；

根據(jù)所述第三距離得到各測試用例到所述目標(biāo)基本塊的第一距離。

3.根據(jù)權(quán)利要求2所述的智能合約模糊測試方法，其特征在于，根據(jù)所述函數(shù)調(diào)用圖得到各測試用例所覆蓋的各函數(shù)到目標(biāo)函數(shù)的第二距離包括：

針對各測試用例所覆蓋的每一函數(shù)：

若所述函數(shù)與所述目標(biāo)函數(shù)之間存在跳轉(zhuǎn)關(guān)系，則根據(jù)所述函數(shù)調(diào)用圖和Dijkstra算法計算出最短路徑，將所述最短路徑作為所述函數(shù)到目標(biāo)函數(shù)的第二距離；否則，所述函數(shù)到目標(biāo)函數(shù)的第二距離為無窮大。

4.根據(jù)權(quán)利要求2所述的智能合約模糊測試方法，其特征在于，根據(jù)所述流程控制圖得到各測試用例所覆蓋的各基本塊到所述目標(biāo)基本塊的第三距離包括：

針對各測試用例所覆蓋的每一基本塊：

若所述基本塊為所述目標(biāo)基本塊，則所述基本塊到所述目標(biāo)基本塊的第三距離為0；

若所述基本塊中存在能跳轉(zhuǎn)到所述目標(biāo)函數(shù)的函數(shù)調(diào)用語句，計算各被調(diào)用函數(shù)到所述目標(biāo)函數(shù)的第二距離，將所述第二距離的最小值與常量的乘積作為所述基本塊到所述目標(biāo)基本塊的第三距離。

5.根據(jù)權(quán)利要求2所述的智能合約模糊測試方法，其特征在于，根據(jù)所述第三距離得到各測試用例到所述目標(biāo)基本塊的第一距離包括：

將各測試用例所覆蓋的各基本塊到所述目標(biāo)基本塊的第三距離求平均得到各測試用例到所述目標(biāo)基本塊的第一距離。

6.根據(jù)權(quán)利要求1-5任一項所述的智能合約模糊測試方法，其特征在于，根據(jù)所述測試用例運行時收集的漏洞信息和預(yù)設(shè)的漏洞測試預(yù)言判斷所述智能合約中是否存在對應(yīng)漏洞包括：

若所述測試用例運行時收集的漏洞信息與預(yù)設(shè)的漏洞測試預(yù)言相匹配，則所述智能合約中包含與所述漏洞測試預(yù)言對應(yīng)的漏洞，否則，所述智能合約中不包含與所述漏洞測試預(yù)言對應(yīng)的漏洞。

7.一種智能合約模糊測試裝置，其特征在于，包括：

智能合約的圖構(gòu)建模塊，用于獲取智能合約數(shù)據(jù)集，構(gòu)建各智能合約的函數(shù)調(diào)用圖和各函數(shù)的控制流圖；

智能合約漏洞檢測模塊，用于依次運行第一測試用例集中的各測試用例，并記錄各測試用例所覆蓋的函數(shù)和基本塊，若當(dāng)前測試用例只覆蓋了前面測試用例已覆蓋的函數(shù)和基本塊，則從所述第一測試用例集中刪除當(dāng)前測試用例，根據(jù)各測試用例運行時收集的漏洞信息和預(yù)設(shè)的漏洞測試預(yù)言判斷所述智能合約中是否存在對應(yīng)漏洞，所述基本塊為所述控制流圖中各分支對應(yīng)的代碼；

新測試用例生成模塊，用于計算所述第一測試用例集中各測試用例到目標(biāo)基本塊的第一距離，將所述第一距離的最小值對應(yīng)的測試用例加入第二測試用例集，根據(jù)所述第二測試用例集中的測試用例生成若干新的測試用例，將所述新的測試用例加入所述第一測試用例集，返回智能合約漏洞檢測模塊執(zhí)行直至模糊測試時間達(dá)到預(yù)設(shè)的時間閾值。