本论文针对 EOSIO 区块链智能合约中一类被称为 “Groundhog Day” 的漏洞提出静态检测工具 VETEOS。该类漏洞源于 EOSIO 交易执行与回滚机制的特定交互，使得攻击者能够通过重复执行某些操作序列，在合约逻辑中造成非预期的资金流动或状态变更。VETEOS 的核心思路是：首先解析合约字节码，构建控制流图（CFG）和调用图；然后结合 EOSIO 的事务语义（包括内联行动、延迟通知以及资源计费等），建立数据流分析模型，抽象出可能导致重复执行的路径；最后通过污点分析或模式匹配，定位可疑操作并生成报告。作者在真实的 EOSIO 合约数据集上进行了大规模实验，验证了 VETEOS 的检测准确率和效率，并与现有工具进行对比，表明其能够发现多种变体且误报率较低。该工作为区块链安全审计提供了自动化手段，有助于合约开发者与安全团队在部署前发现潜在风险。对于安全运营而言，了解此类漏洞的存在有助于完善链上监控策略和事件响应预案。本文适合智能合约安全研究人员、区块链安全审计员以及 EOSIO 生态开发者阅读。