{"resultsPerPage":1,"startIndex":0,"totalResults":1,"format":"NVD_CVE","version":"2.0","timestamp":"2026-05-10T12:39:14.047","vulnerabilities":[{"cve":{"id":"CVE-2024-37794","sourceIdentifier":"cve@mitre.org","published":"2024-06-17T18:15:17.853","lastModified":"2026-04-15T00:35:42.020","vulnStatus":"Deferred","cveTags":[],"descriptions":[{"lang":"en","value":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file."},{"lang":"es","value":"La validación de entrada incorrecta en CVC5 Solver v1.1.3 permite a los atacantes provocar una denegación de servicio (DoS) a través de un archivo de entrada SMT2 manipulado."}],"metrics":{"cvssMetricV31":[{"source":"134c704f-9b21-4f2e-91b3-4a467353bcc0","type":"Secondary","cvssData":{"version":"3.1","vectorString":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","baseScore":7.5,"baseSeverity":"HIGH","attackVector":"NETWORK","attackComplexity":"LOW","privilegesRequired":"NONE","userInteraction":"NONE","scope":"UNCHANGED","confidentialityImpact":"NONE","integrityImpact":"NONE","availabilityImpact":"HIGH"},"exploitabilityScore":3.9,"impactScore":3.6}]},"weaknesses":[{"source":"134c704f-9b21-4f2e-91b3-4a467353bcc0","type":"Secondary","description":[{"lang":"en","value":"CWE-20"}]}],"references":[{"url":"https://github.com/cvc5/cvc5/issues/10813","source":"cve@mitre.org"},{"url":"https://github.com/cvc5/cvc5/issues/10813","source":"af854a3a-2127-422b-91ae-364da2661108"}]}}]}