{"id":"CVE-2023-46046","aliases":["DEBIAN-CVE-2023-46046","EUVD-2023-50307","GHSA-3gf3-x9x8-839v"],"status":"disputed","title":"An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn...","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.","severity":{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium","assessor":"adp","from":"cve"},"epss":{"day":"2026-11-09","score":0.00282,"percentile":0.20904,"model":"v2026.06.15"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":true},"cwes":["CWE-476"],"published":"2024-03-27T00:00:00Z","modified":"2026-10-28T10:40:01Z","fixes":[{"ecosystem":"Debian:13","package":"minizinc","fixed_in":["2.8.2+dfsg1-1"],"sources":["osv"]},{"ecosystem":"Debian:14","package":"minizinc","fixed_in":["2.8.2+dfsg1-1"],"sources":["osv"]}],"affected":[{"source":"osv","ecosystem":"Debian:12","package":"minizinc","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["2.10.0+dfsg1-1","2.6.4+dfsg1-1","2.8.2+dfsg1-1","2.8.3+dfsg1-1","2.8.5+dfsg1-1","2.8.5+dfsg1-2","2.8.6+dfsg1-1","2.8.7+dfsg1-1","2.9.0+dfsg1-1","2.9.2+dfsg1-1","2.9.3+dfsg1-1","2.9.5+dfsg1-1","2.9.7+dfsg1-1"]},{"source":"osv","ecosystem":"Debian:13","package":"minizinc","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"2.8.2+dfsg1-1"}]}]},{"source":"osv","ecosystem":"Debian:14","package":"minizinc","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"2.8.2+dfsg1-1"}]}]}],"references":[{"url":"https://github.com/MiniZinc/libminizinc/issues/730","tags":["x_transferred","report"]},{"url":"http://seclists.org/fulldisclosure/2024/Jan/63","tags":["mailing-list","x_transferred","article"]},{"url":"https://www.minizinc.org/doc-2.8.3/en/changelog.html","tags":["x_transferred","web"]},{"url":"https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0","tags":["x_transferred","fix"]},{"url":"http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html","tags":["web"]},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2023-46046","tags":["advisory"]},{"url":"https://github.com/advisories/GHSA-3gf3-x9x8-839v"},{"url":"https://github.com/CVEProject/cvelistV5/tree/main/cves/2023/46xxx/CVE-2023-46046.json","tags":["advisory"]},{"url":"https://security-tracker.debian.org/tracker/CVE-2023-46046","tags":["advisory"]}],"sources":{"cve":[{"id":"CVE-2023-46046","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.","status":"disputed","published":"2024-03-27T00:00:00Z","modified":"2025-11-04T18:18:37.323Z","cvss":[{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium","assessor":"adp"}],"cwes":["CWE-476"],"updated_at":"2026-11-02T14:35:23.645864Z"}],"euvd":[{"id":"EUVD-2023-50307","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.","status":"published","published":"2024-03-27T00:00:00Z","modified":"2025-11-04T18:18:37Z","cvss":[{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium"}],"updated_at":"2026-11-02T19:49:24.543935Z"}],"ghsa":[{"id":"GHSA-3gf3-x9x8-839v","title":"An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn...","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.","status":"published","published":"2024-03-27T06:30:32Z","modified":"2025-11-04T21:32:29Z","cvss":[{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium"}],"cwes":["CWE-476"],"updated_at":"2026-11-02T15:04:38.133233Z"}],"nvd":[{"id":"CVE-2023-46046","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.","status":"disputed","published":"2024-03-27T05:15:47.44Z","modified":"2026-06-17T06:29:55.977Z","cvss":[{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium","assessor":"secondary"}],"cwes":["CWE-476"],"updated_at":"2026-11-02T14:09:10.192572Z"}],"osv":[{"id":"CVE-2023-46046","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.","status":"published","published":"2024-03-27T00:00:00Z","modified":"2026-10-28T10:40:01.330112607Z","cvss":[{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium"}],"updated_at":"2026-11-02T15:44:34.287121Z"},{"id":"DEBIAN-CVE-2023-46046","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.","status":"published","published":"2024-03-27T05:15:47.44Z","modified":"2026-10-26T18:02:42.25760964Z","cvss":[{"version":"3.1","score":5.5,"vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","level":"medium"}],"updated_at":"2026-11-02T15:45:40.275853Z"}]}}