CVE-2026-72704 | Rocq-Prover Rocq up to 9.2.0 Guard Checker input validation

August 24, 2026 Yanac

A vulnerability, which was classified as problematic, was found in Rocq-Prover Rocq up to 9.2.0. This issue affects some unknown processing of the component Guard Checker. Executing a manipulation can lead to improper input validation.

This vulnerability is handled as CVE-2026-72704. The attack can be executed remotely. There is not any exploit available.VulDB Recent EntriesRead More