{
  "schema_version": "1.4.0",
  "id": "GHSA-qp2g-vj63-24p5",
  "modified": "2022-05-14T01:35:23Z",
  "published": "2022-05-14T01:35:23Z",
  "aliases": [
    "CVE-2019-7559"
  ],
  "details": "In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.",
  "severity": [
    {
      "type": "CVSS_V3",
      "score": "CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"
    }
  ],
  "affected": [],
  "references": [
    {
      "type": "ADVISORY",
      "url": "https://nvd.nist.gov/vuln/detail/CVE-2019-7559"
    },
    {
      "type": "WEB",
      "url": "https://github.com/Boolector/boolector/issues/30"
    }
  ],
  "database_specific": {
    "cwe_ids": [
      "CWE-787"
    ],
    "severity": "MODERATE",
    "github_reviewed": false,
    "github_reviewed_at": null,
    "nvd_published_at": "2019-02-07T07:29:00Z"
  }
}