近年来，智能合约已成为去中心化应用（DApp）的核心基础设施，而链下系统（如跨链桥、钱包、索引器等）高度依赖事件日志（event logs）来跟踪合约执行和状态变化。然而，以太坊虚拟机（EVM）并不验证或强制事件语义，导致日志可能与链上状态不一致，进而误导链下系统接受错误的状态转换。现有智能合约漏洞检测工具主要关注逻辑缺陷，对事件语义类缺陷的检测支持有限。为了填补这一空白，作者收集了审计报告和事故案例，采用开放式卡片分类法（open card sorting）定义了五类事件语义缺陷：事件碰撞（event collision）、状态-事件不匹配（state-event mismatch）、未授权事件发射（unauthorized event emission）、事件发射不匹配（event emission mismatch）以及事件参数不匹配（event parameter mismatch）。作者提出了EventSpec方法，该方法通过行为推断和语义约束提取，从合约语料库中推断事件规范，并应用差分检查来识别目标合约中的事件语义缺陷。作者在6,617个真实合约上运行EventSpec，并基于人工标注结果评估检测效果；EventSpec实现了90.17%的综合精确率。此外，作者还提供了一个链下评估工具链（off-chain evaluation harness），能够在任何兼容EVM的链上复现两类链下攻击向量：由非预期发射者导致的事件来源混淆（event origin confusion），以及缺乏对应状态更新的事件-状态失同步（event-state desynchronization）。利用该工具链，作者演示了这些攻击在跨链桥中继器、区块链浏览器和NFT市场中的可行性，并报告了六个钱包问题，其中四个已确认（包括一笔600美元的赏金），两个待定。该研究系统性地定义并解决了事件语义缺陷的检测问题，为智能合约安全审计和链下系统安全提供了新的视角和实用工具。