🚨 GitHub 监控消息提醒
🚨 发现关键词： #CVE-2026 #POC
📦 项目名称： rocq-cve-poc-21682
👤 项目作者： endrazine
🛠 开发语言： Rocq Prover
⭐ Star数量： 0 | 🍴 Fork数量： 0
📅 更新时间： 2026-10-25 11:16:19
📝 项目描述：
🔗 点击访问项目地址
🚨 发现关键词： #CVE-2026 #POC
📦 项目名称： rocq-cve-poc-21682
👤 项目作者： endrazine
🛠 开发语言： Rocq Prover
⭐ Star数量： 0 | 🍴 Fork数量： 0
📅 更新时间： 2026-10-25 11:16:19
📝 项目描述：
CVE-2026-72703 — Rocq Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls🔗 点击访问项目地址
GitHub
GitHub - endrazine/rocq-cve-poc-21682
Contribute to endrazine/rocq-cve-poc-21682 development by creating an account on GitHub.
