Debian/minizinc: medium 5.5
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
Action: Upgrade minizinc to 2.8.2+dfsg1-1 or later.
Affected
| introduced | fixed | last affected |
|---|---|---|
| 0 | 2.8.2+dfsg1-1 | - |
Fixed versions
| 2.8.2+dfsg1-1 |
Sources
- osv: DEBIAN-CVE-2023-46046#Debian:13/minizinc
- https://security-tracker.debian.org/tracker/CVE-2023-46046
published · modified · JSON