一種自動化的智能合約代碼缺陷檢測系統(tǒng)和方法

基本信息

申請?zhí)?/td> CN201810792738.4 申請日 -
公開（公告）號 CN109063477A 公開（公告）日 2018-12-21
申請公布號 CN109063477A 申請公布日 2018-12-21
分類號 G06F21/56;G06Q20/40 分類 計算；推算；計數(shù);
發(fā)明人 楊霞 申請（專利權(quán)）人 成都鏈安科技有限公司
代理機構(gòu) 成都四合天行知識產(chǎn)權(quán)代理有限公司 代理人 成都鏈安科技有限公司
地址 610000 四川省成都市成華區(qū)二環(huán)路東二段508號7層714號房
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種自動化的智能合約代碼缺陷檢測系統(tǒng)和方法，全自動化對區(qū)塊鏈智能合約做缺陷代碼檢查；使用靜態(tài)代碼分析和動態(tài)路徑遍歷相結(jié)合的方式，再加上獨立可擴充的安全模型庫和規(guī)則匹配庫，使得缺陷代碼檢查更加完備、準確可靠，解決了缺陷代碼中漏報問題；同時實時加載區(qū)塊鏈底層平臺接口調(diào)用，并將生成的測試案例和反例在區(qū)塊鏈平臺上驗證缺陷代碼是否是偽錯誤，能有效、準確的查找出智能合約缺陷代碼，通過源碼映射引擎，還可將缺陷錯誤代碼定位到智能合約源代碼具體位置。