[發(fā)明專利]一種基于字節(jié)碼檢查的Java智能合約安全檢測(cè)方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201710585794.6
• 申請(qǐng)日: 2017-07-18
• 公開（公告）號(hào): CN107526625B
• 公開（公告）日: 2020-08-21
• 發(fā)明（設(shè)計(jì)）人: 李啟雷;李偉;梁秀波;邱煒偉;尹可挺
• 申請(qǐng)（專利權(quán)）人: 杭州趣鏈科技有限公司
• 主分類號(hào): G06F9/455
• 分類號(hào): G06F9/455
• 代理公司: 杭州求是專利事務(wù)所有限公司 33200
• 代理人: 邱啟旺

1.一種基于字節(jié)碼檢查的Java智能合約安全檢測(cè)方法，其特征在于，包括如下步驟：

(1)編寫定制的智能合約安全檢測(cè)規(guī)則：系統(tǒng)安全規(guī)則包括接口、父類、成員變量和成員方法四個(gè)模塊，用戶可以根據(jù)自身業(yè)務(wù)或公司安全需求對(duì)所述的系統(tǒng)安全規(guī)則中的模塊進(jìn)行刪除或?qū)δK中的規(guī)則進(jìn)行修改，得到定制的智能合約安全檢測(cè)規(guī)則；

(2)將編譯過的Java智能合約生成的字節(jié)碼文件和步驟(1)中定制的智能合約安全檢測(cè)規(guī)則發(fā)送到智能合約執(zhí)行引擎；

(3)智能合約執(zhí)行引擎加載系統(tǒng)安全規(guī)則和所定制的智能合約安全檢測(cè)規(guī)則；

(4)智能合約執(zhí)行引擎運(yùn)行安全檢測(cè)模塊；

檢測(cè)智能合約中使用的接口是否符合要求：從字節(jié)碼中獲取智能合約所實(shí)現(xiàn)的接口，根據(jù)步驟(1)中定制的智能合約安全檢測(cè)規(guī)則，判斷所實(shí)現(xiàn)的接口是否符合要求；

檢測(cè)智能合約中使用的父類是否符合要求：從字節(jié)碼中獲取智能合約所繼承的父類，根據(jù)步驟(1)中定制的智能合約安全檢測(cè)規(guī)則，判斷所繼承的父類是否符合要求；

檢測(cè)智能合約中使用的成員變量是否符合要求：從字節(jié)碼中獲取智能合約所定義的成員變量，根據(jù)步驟(1)中定制的智能合約安全檢測(cè)規(guī)則，判斷成員變量的字段訪問標(biāo)志和類型是否符合要求；

檢測(cè)智能合約中使用的成員方法是否符合要求：從字節(jié)碼中獲取智能合約所定義的成員方法，根據(jù)步驟(1)中定制的智能合約安全檢測(cè)規(guī)則，判斷成員方法的方法聲明、成員方法中所使用的變量類型、成員方法中的指令、成員方法中所使用其它類的方法是否符合要求；

如果檢測(cè)失敗，返回結(jié)果，如果檢測(cè)成功，則進(jìn)入執(zhí)行流程，最后返回執(zhí)行結(jié)果。