本文提出了一种名为 ProtocolGuard 的新型漏洞检测框架，用于检测网络协议实现中的协议不合规（non-compliance）缺陷。这类缺陷通常源于开发者在实现协议规范时对状态转换、字段约束或时序逻辑的错误理解，可能导致安全问题或功能异常。ProtocolGuard 的核心思路是将大语言模型（LLM）引导的静态分析与动态验证相结合：首先，利用 LLM 从协议描述和代码中提取协议状态机、消息格式及合规规则，并生成候选的不合规路径；其次，通过静态分析在源码层面定位与候选路径相关的关键代码位置，减少误报；最后，借助动态验证实际执行这些路径，确认是否真实存在不合规行为。该方法避免了传统模糊测试对协议语义理解不足的问题，也弥补了纯静态分析在逻辑验证上的局限。文章通过实验证明了 ProtocolGuard 在多个真实网络协议实现中发现不合规缺陷的有效性，并展示了其比现有方法更高的检出率和更低的误报率。该研究的核心价值在于为协议安全分析提供了一种可扩展、可自动化的人机协同思路，使安全工程师能够更高效地审计复杂的协议实现。适合协议安全研究人员、静态分析工具开发者以及负责网络组件安全审计的蓝队人员阅读。