基于动态模糊测试和机器学习的智能合约漏洞检测方法

摘要

智能合约的出现和发展拓宽了区块链的应用场景和现实意义,但频繁的安全事故给区块链的发展带来了障碍.但是,智能合约漏洞进行完备性和安全性分析的方法仍未被提出.当前对于智能合约的安全保障主要依靠专家审计和人工复查,该方式不能保证代码的绝对安全.针对智能合约漏洞挖掘的误报率、低效能等问题,在动态模糊测试和机器学习方法的基础上,提出一种适用于智能合约漏洞的检测方法与模型.该方法提高了智能合约漏洞挖掘的自动化程度和准确性.