minizinc: An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn file
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.
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.
Where it's fixed
| Product | Fixed in | Fix | Released |
|---|---|---|---|
| Linux | |||
| minizinc · Debian 13.5 (trixie) | 2.8.2+dfsg1-1 | DEBIAN-CVE-2023-46046 | Mar 27, 2024 |
| minizinc · Debian 14 | 2.8.2+dfsg1-1 | DEBIAN-CVE-2023-46046 | Mar 27, 2024 |
Patch Radar data is free to use with attribution. Terms and how to credit it.
Product names, logos and trademarks shown on Patch Radar belong to their respective owners. They are used only to identify the software each security fix applies to and to help readers find their platform. Their use does not imply any affiliation with, or endorsement by, those owners, and Patchblox is not affiliated with any of them.