报告题目：基于模糊测试的智能合约重入漏洞动态检测

发布者：邢婉秋发布时间：2022-08-07浏览次数：89

报告摘要：本报告提出一种基于模糊测试的智能合约重入漏洞动态检测方法。该方法首先通过预处理，从合约源码中提取出待测函数候选池，并构建合约依赖图。根据合约依赖图完成合约的自动部署。然后自动生成模糊测试用例，通过代理合约尝试对待测合约进行重入攻击，同时收集运行时信息。最后通过分析运行时信息，判断重入攻击是否成功以及该重入过程是否有害，从而判断待测合约是否存在重入缺陷。