摘要:随着区块链技术的广泛应用, 智能合约的安全性问题日益突出. 交易顺序依赖 (transaction order dependency, TOD)漏洞是一种常见且危害性极大的漏洞, 可能引发严重的经济损失. 现有漏洞检测方法主要分为静态分析和动态分析, 但仍存在误报率高、关键路径覆盖不足及对固定规则依赖等局限性. 为此, 本文提出了一种基于函数依赖指导的TOD漏洞检测框架FuncFuzz. 该框架通过静态分析模块提取合约的关键函数依赖, 精准定位脆弱区域, 提升测试用例生成的针对性; 设计多样化的交易变异策略, 扩展测试用例的覆盖范围; 并引入基于状态的一致性判定机制, 以突破传统固定模式的限制, 动态适应复杂或未知的漏洞场景. 实验结果表明, FuncFuzz在检测TOD漏洞的有效性方面优于现有工具, 同时函数依赖指导有效增强了检测效果.