nvd-json-data-feeds/CVE-2024/CVE-2024-377xx/CVE-2024-37794.json

{
  "id": "CVE-2024-37794",
  "sourceIdentifier": "cve@mitre.org",
  "published": "2024-06-17T18:15:17.853",
  "lastModified": "2024-06-20T12:44:22.977",
  "vulnStatus": "Awaiting Analysis",
  "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\u00f3n de entrada incorrecta en CVC5 Solver v1.1.3 permite a los atacantes provocar una denegaci\u00f3n de servicio (DoS) a trav\u00e9s de un archivo de entrada SMT2 manipulado."
    }
  ],
  "metrics": {},
  "references": [
    {
      "url": "https://github.com/cvc5/cvc5/issues/10813",
      "source": "cve@mitre.org"
    }
  ]
}