基于函数依赖分析的交易顺序依赖漏洞检测系统和方法

本发明公开基于函数依赖分析的交易顺序依赖（Transaction Order Dependency,TOD）漏洞检测系统和方法，通过结合函数依赖分析、交易序列生成以及序列重排与差分分析等关键环节，系统化地识别智能合约中潜在的交易顺序依赖漏洞。本发明通过构建冲突函数对并基于此生成多样化待测序列，进而在不同顺序下对合约执行结果进行差分对比，从而捕捉因顺序变动而导致的安全隐患。本交易顺序依赖漏洞检测方法结合静态分析、模糊测试和差分分析，以静态分析提取关键函数依赖信息为指导，生成更具针对性的测试用例。通过交易序列变异策略，规避了对传统模式匹配的依赖，从而提升了检测的准确性和适用性。