{"resultsPerPage":1,"startIndex":0,"totalResults":1,"format":"NVD_CVE","version":"2.0","timestamp":"2026-08-04T03:07:56.591","vulnerabilities":[{"cve":{"id":"CVE-2024-37795","sourceIdentifier":"cve@mitre.org","published":"2024-06-17T18:15:17.953","lastModified":"2026-06-17T07:38:51.550","vulnStatus":"Deferred","cveTags":[],"descriptions":[{"lang":"en","value":"A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing the `set-logic` command with specific formatting errors."},{"lang":"es","value":"Una falla de segmentación 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 SMT-LIB manipulado que contiene el comando `set-logic` con errores de formato específicos."}],"affected":[{"source":"cve@mitre.org","affectedData":[{"vendor":"n/a","product":"n/a","versions":[{"version":"n/a","status":"affected"}]}]},{"source":"134c704f-9b21-4f2e-91b3-4a467353bcc0","affectedData":[{"vendor":"cvc5","product":"cvc5","defaultStatus":"unknown","cpes":["cpe:2.3:a:cvc5:cvc5:1.1.3:*:*:*:*:*:*:*"],"versions":[{"version":"1.1.3","status":"affected"}]}]}],"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}],"ssvcV203":[{"source":"134c704f-9b21-4f2e-91b3-4a467353bcc0","ssvcData":{"timestamp":"2024-06-18T16:53:30.455404Z","id":"CVE-2024-37795","options":[{"exploitation":"none"},{"automatable":"yes"},{"technicalImpact":"partial"}],"role":"CISA Coordinator","version":"2.0.3"}}]},"weaknesses":[{"source":"134c704f-9b21-4f2e-91b3-4a467353bcc0","type":"Secondary","description":[{"lang":"en","value":"CWE-125"}]}],"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"}]}}]}