一種智能合約的安全檢測(cè)方法及裝置

基本信息

申請(qǐng)?zhí)?/td> CN202111497320.9 申請(qǐng)日 -
公開(kāi)（公告）號(hào) CN113900665A 公開(kāi)（公告）日 2022-01-07
申請(qǐng)公布號(hào) CN113900665A 申請(qǐng)公布日 2022-01-07
分類號(hào) G06F8/41（2018.01）I;G06K9/62（2006.01）I;G06N20/00（2019.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 姚俊筍;顏亦軍;韓朋博 申請(qǐng)（專利權(quán)）人 眾連智能科技有限公司
代理機(jī)構(gòu) 廣州三環(huán)專利商標(biāo)代理有限公司 代理人 苗芬芬;賈允
地址 310000浙江省杭州市濱江區(qū)越達(dá)巷79號(hào)1號(hào)樓12樓B2
法律狀態(tài) -

摘要

摘要 本發(fā)明公開(kāi)了一種智能合約的安全檢測(cè)方法及裝置，包括：獲取智能合約的代碼信息；基于代碼信息，確定智能合約的合約類型；基于合約類型，獲取智能合約對(duì)應(yīng)的語(yǔ)法規(guī)則信息和語(yǔ)義規(guī)則信息；基于代碼信息、語(yǔ)法規(guī)則信息和語(yǔ)義規(guī)則信息，對(duì)智能合約進(jìn)行語(yǔ)法檢查和語(yǔ)義檢查，得到智能合約的安全信息。根據(jù)本發(fā)明的技術(shù)方案，通過(guò)基于智能合約的代碼信息確定智能合約的合約類型，基于合約類型獲取智能合約對(duì)應(yīng)的語(yǔ)法規(guī)則信息和語(yǔ)義規(guī)則信息，并基于代碼信息、語(yǔ)法規(guī)則信息和語(yǔ)義規(guī)則信息對(duì)智能合約進(jìn)行語(yǔ)法檢查和語(yǔ)義檢查，從而保證智能合約的安全性，避免代碼漏洞安全問(wèn)題所帶來(lái)的巨額的財(cái)產(chǎn)損失。