Description

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

INFO

Published Date :

2024-06-17T00:00:00.000Z

Last Modified :

2024-08-02T03:57:39.727Z

Source :

mitre
AFFECTED PRODUCTS

The following products are affected by CVE-2024-37794 vulnerability.

Vendors Products
Cvc5
  • Cvc5
REFERENCES

Here, you will find a curated list of external links that provide in-depth information to CVE-2024-37794.

URL Resource
https://github.com/cvc5/cvc5/issues/10813 cve-icon cve-icon
Login to claim this CVE

CVSS Vulnerability Scoring System

Detailed values of each vector for above chart.
Attack Vector
Attack Complexity
Privileges Required
User Interaction
Scope
Confidentiality Impact
Integrity Impact
Availability Impact