{"id":"DEBIAN-CVE-2023-46046","details":"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.","modified":"2026-09-15T09:02:23.615907805Z","published":"2024-03-27T05:15:47.440Z","upstream":["CVE-2023-46046"],"references":[{"type":"ADVISORY","url":"https://security-tracker.debian.org/tracker/CVE-2023-46046"}],"affected":[{"package":{"name":"minizinc","ecosystem":"Debian:12","purl":"pkg:deb/debian/minizinc?arch=source&distro=bookworm"},"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"],"ecosystem_specific":{"urgency":"unimportant"},"database_specific":{"source":"https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json"}},{"package":{"name":"minizinc","ecosystem":"Debian:13","purl":"pkg:deb/debian/minizinc?arch=source&distro=trixie"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"2.8.2+dfsg1-1"}]}],"ecosystem_specific":{"urgency":"unimportant"},"database_specific":{"source":"https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json"}},{"package":{"name":"minizinc","ecosystem":"Debian:14","purl":"pkg:deb/debian/minizinc?arch=source&distro=forky"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"2.8.2+dfsg1-1"}]}],"ecosystem_specific":{"urgency":"unimportant"},"database_specific":{"source":"https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json"}}],"schema_version":"1.9.0","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H"}]}