Executive Summary

Informations
Name CVE-2024-37794 First vendor Publication 2024-06-17
Vendor Cve Last vendor Modification 2024-07-03

Security-Database Scoring CVSS v3

Cvss vector : N/A
Overall CVSS Score NA
Base Score NA Environmental Score NA
impact SubScore NA Temporal Score NA
Exploitabality Sub Score NA
 
Calculate full CVSS 3.0 Vectors scores

Security-Database Scoring CVSS v2

Cvss vector :
Cvss Base Score N/A Attack Range N/A
Cvss Impact Score N/A Attack Complexity N/A
Cvss Expoit Score N/A Authentication N/A
Calculate full CVSS 2.0 Vectors scores

Detail

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

Original Source

Url : http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2024-37794

Sources (Detail)

https://github.com/cvc5/cvc5/issues/10813
Source Url

Alert History

If you want to see full details history, please login or register.
0
1
2
Date Informations
2024-07-03 09:27:28
  • Multiple Updates
2024-06-20 17:27:38
  • Multiple Updates
2024-06-18 00:27:23
  • First insertion