Known Vulnerabilities for Rocq by Rocq-prover

Listed below are 4 of the newest known vulnerabilities associated with "Rocq" by "Rocq-prover".

These CVEs are retrieved based on exact matches on listed software, hardware, and vendor information (CPE data) as well as a keyword search to ensure the newest vulnerabilities with no officially listed software information are still displayed.

Data on known vulnerable versions is also displayed based on information from known CPEs

Known Vulnerabilities

CVE Shortened Description Severity Publish Date Last Modified
CVE-2026-72714 json Rocq Prover does not restore the universe graph's copy of the universe checking flag when a module that locally disabled the ... Not Provided 2026-08-24 2026-08-24
CVE-2026-72705 json The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments. A fixpoint may pass... Not Provided 2026-08-24 2026-08-24
CVE-2026-72704 json The guard checker in Rocq Prover does not recheck the recursive tree representation of an inductive type parameter after that... Not Provided 2026-08-24 2026-08-24
CVE-2026-72703 json The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform without examining calls between th... Not Provided 2026-08-24 2026-08-24

© CVE.report 2026

Use of this information constitutes acceptance for use in an AS IS condition. There are NO warranties, implied or otherwise, with regard to this information or its use. Any use of this information is at the user's risk. It is the responsibility of user to evaluate the accuracy, completeness or usefulness of any information, opinion, advice or other content. EACH USER WILL BE SOLELY RESPONSIBLE FOR ANY consequences of his or her direct or indirect use of this web site. ALL WARRANTIES OF ANY KIND ARE EXPRESSLY DISCLAIMED. This site will NOT BE LIABLE FOR ANY DIRECT, INDIRECT or any other kind of loss.

CVE, CWE, and OVAL are registred trademarks of The MITRE Corporation and the authoritative source of CVE content is MITRE's CVE web site. This site includes MITRE data granted under the following license.

Free CVE JSON API cve.report/api

CVE.report and Source URL Uptime Status status.cve.report