CVE-2026-72714 | Rocq-Prover Rocq up to 9.2.0 Universe Graph state issue

A vulnerability was found in Rocq-Prover Rocq up to 9.2.0. It has been declared as problematic. This affects an unknown function of the component Universe Graph. Such manipulation leads to state issue.

This vulnerability is referenced as CVE-2026-72714. The attack can only be performed from a local environment. No exploit is available.VulDB Recent EntriesRead More