CVE-2026-72705 | Rocq Prover up to 9.1.x Guard Checker input validation

A vulnerability was found in Rocq Prover Rocq up to 9.1.x. It has been classified as problematic. The impacted element is an unknown function of the component Guard Checker. This manipulation causes improper input validation.

The identification of this vulnerability is CVE-2026-72705. The attack can only be executed locally. There is no exploit available.

Upgrading the affected component is recommended.VulDB Recent EntriesRead More