CVE-2020-37268 | Rocq up to 9.2.0 Print Assumptions dev/doc/critical-bugs.md input validation

August 24, 2026 Yanac

A vulnerability, which was classified as problematic, has been found in Rocq up to 9.2.0. This vulnerability affects unknown code of the file dev/doc/critical-bugs.md of the component Print Assumptions. Performing a manipulation results in improper input validation.

This vulnerability is known as CVE-2020-37268. Attacking locally is a requirement. No exploit is available.VulDB Recent EntriesRead More