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

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