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

Goal: 1000 CNY · Raised: 1336 CNY

100%

Buy Us a Coffee

Rocq Prover 9.2.0 Unsynchronized Universe Check on Module Closure Leading to Logic Error (CVE-2026-72714)

www.vulncheck.com 2026-08-25 查看中文 →

Referenced CVEs: CVE-2026-72714 · 6.3

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

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

More from this source

Rocket.Chat Unauthenticated Rate Limit Bypass on sendForgotPasswordEmail Enabling Email Enumeration (CVE-2026-75575) 2026-08-25 NLTK <3.10.0 Insecure Pickle Deserialization RCE (CVE-2026-78683) 2026-08-25 Adminer <=5.4.2 Arbitrary File Deletion via SQLite Drop (CVE-2026-34968) 2026-08-25 Rocq Prover < 9.2.0 Guard Checker Recursive Validation Bypass via Fixpoint CVE-2026-72705 2026-08-25 Rocq Prover Guard Checker Cross-Call Flaw Enables False Proof (CVE-2026-72703) 2026-08-25

Offline Archive

Offline screenshot & PDF are Pro-exclusive

Upgrade to Pro