基于深度學(xué)習(xí)的智能合約漏洞檢測方法綜述

打開文本圖片集

智能合約是區(qū)塊鏈三大特點(diǎn)之一，也是區(qū)塊鏈具有應(yīng)用價值和靈活性的領(lǐng)域.本質(zhì)上，智能合約是一段用特定腳本語言實現(xiàn)的代碼，不可避免地存在安全漏洞風(fēng)險.如何及時準(zhǔn)確地檢查出各種智能合約的漏洞，就成為區(qū)塊鏈安全研究的重點(diǎn)和熱點(diǎn).為了檢測智能合約漏洞，研究者提出了各種分析方法，包括符號執(zhí)行、形式化驗證和模糊測試（剩余26054字）