ChangeIntel IT change radar

Public mode

No access to your tenant or devices. Every item links to its source. What this means

CVE-2026-72703Published

Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls

Recorded JSON

cve-program · CVE-2026-72703

Published

rocq

Vendor product

Original vendor version evidence · not evaluated as a NuGet range

{
                    "vendor": "rocq-prover",
                    "product": "rocq",
                    "repo": "https://github.com/rocq-prover/rocq",
                    "packageURL": "pkg:github/rocq-prover/rocq",
                    "defaultStatus": "unaffected",
                    "versions": [
                        {
                            "version": "8.20",
                            "lessThan": "9.2.0",
                            "status": "affected",
                            "versionType": "custom"
                        }
                    ]
                }

Original source record · Cite this exact observation · Complete original publisher JSON