{"action":"Upgrade minizinc to 2.8.2+dfsg1-1 or later.","affected":[{"fixed":"2.8.2+dfsg1-1","introduced":"0"}],"component":"minizinc","cve_ids":[],"ecosystem":"Debian","ecosystem_qualifier":"Debian:13","exploited":false,"fixed_versions":["2.8.2+dfsg1-1"],"id":"tcs_01M5NJBHG3JB26VED0VKG7YW2A","modified_at":"2026-10-23T18:02:32.082282238Z","published_at":"2024-03-27T05:15:47.440Z","references":["https://osv.dev/vulnerability/DEBIAN-CVE-2023-46046","https://security-tracker.debian.org/tracker/CVE-2023-46046"],"severity":{"label":"medium","score":5.5},"sources":[{"source":"osv","source_id":"DEBIAN-CVE-2023-46046#Debian:13/minizinc","url":"https://osv.dev/vulnerability/DEBIAN-CVE-2023-46046"}],"summary":"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 pr"}