一種自動化的智能合約代碼缺陷檢測系統(tǒng)和方法
基本信息
| 申請?zhí)?/td> | CN201810792738.4 | 申請日 | - |
| 公開（公告）號 | CN109063477B | 公開（公告）日 | 2021-04-20 |
| 申請公布號 | CN109063477B | 申請公布日 | 2021-04-20 |
| 分類號 | G06F21/56(2013.01)I;G06Q20/40(2012.01)I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 楊霞 | 申請（專利權(quán)）人 | 成都鏈安科技有限公司 |
| 代理機(jī)構(gòu) | 成都四合天行知識產(chǎn)權(quán)代理有限公司 | 代理人 | 王記明 |
| 地址 | 610000四川省成都市成華區(qū)二環(huán)路東二段508號7層714號房 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開了一種自動化的智能合約代碼缺陷檢測系統(tǒng)和方法，全自動化對區(qū)塊鏈智能合約做缺陷代碼檢查；使用靜態(tài)代碼分析和動態(tài)路徑遍歷相結(jié)合的方式，再加上獨(dú)立可擴(kuò)充的安全模型庫和規(guī)則匹配庫，使得缺陷代碼檢查更加完備、準(zhǔn)確可靠，解決了缺陷代碼中漏報(bào)問題；同時(shí)實(shí)時(shí)加載區(qū)塊鏈底層平臺接口調(diào)用，并將生成的測試案例和反例在區(qū)塊鏈平臺上驗(yàn)證缺陷代碼是否是偽錯(cuò)誤，能有效、準(zhǔn)確的查找出智能合約缺陷代碼，通過源碼映射引擎，還可將缺陷錯(cuò)誤代碼定位到智能合約源代碼具體位置。?? |
