CVE-2026-72705Published

Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument

Exact source revision recorded 26 Oct 2026 03:25:11 UTC. It does not establish the source's current position. Latest evidence.

Recorded JSON

cve-program · CVE-2026-72705

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": "0",
                            "lessThan": "9.2.0",
                            "status": "affected",
                            "versionType": "custom"
                        }
                    ]
                }

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