216.73.217.172

CVE-2024-37794

· Published 17/06/2024 18:15 · Modified 17/06/2024 18:15

Labels: CVE-2024-37794 2024-06-17CVE-2024-37794[email protected]

Essential information

Published
17/06/2024 18:15
Modified
17/06/2024 18:15
Author
—
Creator
—
CISA KEV
No
CWE
—

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.

NVD status

Status
Received — CVE has been recently published to the CVE List and has been received by the NVD.
Source
[email protected]
NVD
View on NVD

References