报告题目：基于模糊测试的智能合约重入漏洞动态检测
报告摘要：本报告提出一种基于模糊测试的智能合约重入漏洞动态检测方法。该方法首先通过预处理，从合约源码中提取出待测函数候选池，并构建合约依赖图。根据合约依赖图完成合约的自动部署。然后自动生成模糊测试用例，通过代理合约尝试对待测合约进行重入攻击，同时收集运行时信息。最后通过分析运行时信息，判断重入攻击是否成功以及该重入过程是否有害，从而判断待测合约是否存在重入缺陷。
个人介绍：
潘振宇，20级研究生
导师：李必信教授
研究方向：软件测试和缺陷检测
发布者：邢婉秋发布时间：2022-08-07浏览次数：89
报告题目：基于模糊测试的智能合约重入漏洞动态检测
报告摘要：本报告提出一种基于模糊测试的智能合约重入漏洞动态检测方法。该方法首先通过预处理，从合约源码中提取出待测函数候选池，并构建合约依赖图。根据合约依赖图完成合约的自动部署。然后自动生成模糊测试用例，通过代理合约尝试对待测合约进行重入攻击，同时收集运行时信息。最后通过分析运行时信息，判断重入攻击是否成功以及该重入过程是否有害，从而判断待测合约是否存在重入缺陷。
个人介绍：
潘振宇，20级研究生
导师：李必信教授
研究方向：软件测试和缺陷检测