Goal Reached Thanks to every supporter — we hit 100%!

Goal: 1000 CNY · Raised: 1336 CNY

100%

Buy Us a Coffee

Rocq CVE-670: Guard Checker Higher-Order Fixpoint Bypass Exploit Analysis

github.com 2026-08-25 查看中文 →

Security Advisory CVE-670 Medium Rocq

Affected:

Rocq <= 9.1.0
Coq (all versions using guard checker)

Fixed in:

9.2.0

Referenced CVEs: CVE-2026-72705 · 6.3

文章内图片已隐藏以节省流量 · Upgrade to Pro to view images & offline archive

This content was auto-fetched from github.com, cleaned by our LLM pipeline, and translated to English. View original.

More from this source

JSON-RPC Mandatory Auth Fix with PoC 2026-08-27 with-context-mcp CWE-22: arbitrary file read/write/delete via path traversal 2026-08-27 LinkedIn Ads MCP Server OAuth Auth/Authz Flaw & Fix Guide 2026-08-27 linkedin-ads-mcp Arbitrary File Read via Unvalidated filePath (CWE-22, CVSS 8.2) 2026-08-27 file-context-server: Arbitrary File Read via path traversal 2026-08-27

Offline Archive

Offline screenshot & PDF are Pro-exclusive

Upgrade to Pro