[发明专利]一种基于动态执行信息分析的智能合约重入缺陷检测方法

摘要

本发明涉及一种基于动态执行信息分析的以太坊智能合约重入缺陷检测方法，所述方法包括以下步骤：步骤1)预处理待测合约；步骤2)构建攻击合约；步骤3)部署待测合约和攻击合约；步骤4)随机生成可执行交易；步骤5)收集动态执行信息；步骤6)分析动态执行信息，检测有害重入；步骤7)重复步骤4)—步骤6)，若检测到有害重入，则合约存在重入缺陷，若执行时间executionTime大于测试时间限t，则合约安全。该技术方案提高了重入缺陷检测的自动化程度，该技术方案准确率高，误报率低，该方案代码覆盖率高。