{
  "cveId": "CVE-2023-46046",
  "url": "https://patchblox.com/security/cve/CVE-2023-46046",
  "summary": "CVE-2023-46046 is fixed in minizinc on 1 platform, first by DEBIAN-CVE-2023-46046, released March 27, 2024. It is not reported as exploited. Patch Radar priority: Routine.",
  "title": "minizinc: An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn file",
  "description": "An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn file. NOTE: this is disputed because there is no common libminizinc use case in which an unattended process is supposed to run forever to process a series of atttacker-controlled .mzn files.",
  "published": "2024-03-27T05:15:47Z",
  "severity": "medium",
  "cvss": 5.5,
  "cvssVector": "CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H",
  "epss": 0.00282,
  "epssPercentile": 0.20874,
  "priority": "Routine",
  "priorityTier": 4,
  "exploited": false,
  "vendorExploited": false,
  "disclosed": false,
  "fixes": [
    {
      "platform": "linux",
      "product": "minizinc",
      "release": "Debian 13.5 (trixie)",
      "fixedVersion": "2.8.2\u002Bdfsg1-1",
      "fix": "DEBIAN-CVE-2023-46046",
      "url": "https://patchblox.com/security/fix/linux/debian-cve-2023-46046",
      "released": "2024-03-27T05:15:47Z"
    },
    {
      "platform": "linux",
      "product": "minizinc",
      "release": "Debian 14",
      "fixedVersion": "2.8.2\u002Bdfsg1-1",
      "fix": "DEBIAN-CVE-2023-46046",
      "url": "https://patchblox.com/security/fix/linux/debian-cve-2023-46046",
      "released": "2024-03-27T05:15:47Z"
    }
  ],
  "noFixYet": [],
  "dataAsOf": "2026-11-08T06:59:42Z",
  "attribution": {
    "text": "Data: Patchblox Patch Radar",
    "url": "https://patchblox.com/security/patch-radar",
    "terms": "https://patchblox.com/security/patch-radar/use-the-data"
  }
}