CVE-2026-72703 | rocq-prover Rocq up to 9.1.x Guard Checker kernel/inductive.ml find_uniform_parameters input validation

August 24, 2026 Yanac

A vulnerability has been found in rocq-prover Rocq up to 9.1.x and classified as problematic. Impacted is the function find_uniform_parameters of the file kernel/inductive.ml of the component Guard Checker. The manipulation leads to improper input validation.

This vulnerability is uniquely identified as CVE-2026-72703. The attack is possible to be carried out remotely. No exploit exists.

The affected component should be upgraded.VulDB Recent EntriesRead More