CVE catalog
CVE-2023-46046
minizinc: CVE-2023-46046
- Severity
- Low
- Published
- Source
- [NVD] · [CVE record]
- EPSS
- 0.28% · Oct 25, 2026
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.
Vulnerable and fixed packages
Distribution-reported package versions and fixes. These do not depend on matching against the OpenFactory package catalog.
| Distribution | Package | Release | Version | Status |
|---|---|---|---|---|
| Debian | minizinc | sid | 2.10.0+dfsg1-1 | fixed |
| Debian | minizinc | forky | 2.10.0+dfsg1-1 | fixed |
| Debian | minizinc | trixie | 2.9.2+dfsg1-1 | fixed |
| Debian | minizinc | bookworm | 2.6.4+dfsg1-1 | vulnerable |
Fixed-version evidence
| Distribution | Package | Type | Release | Fixed version | Urgency | Origin | Bugs |
|---|---|---|---|---|---|---|---|
| Debian | minizinc | source | sid | 2.8.2+dfsg1-1 | unimportant | Not reported | Not reported |
| Debian | minizinc | source | forky | 2.8.2+dfsg1-1 | unimportant | Not reported | Not reported |
| Debian | minizinc | source | trixie | 2.8.2+dfsg1-1 | unimportant | Not reported | Not reported |
| Debian | minizinc | source | bookworm | (unfixed) | unimportant | Not reported | Not reported |
OpenFactory catalog packages
Matching against OpenFactory catalog package versions is in progress.