Lucene search
Debian Security Bug TrackerDEBIANCVE:CVE-2023-46046HistoryMar 27, 2024 - 5:15 a.m.
CVE-2023-46046
2024-03-2705:15:47
Debian Security Bug Tracker
security-tracker.debian.org
3
minizinc
null pointer dereference
crafted file
unix
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.
| OS | Version | Architecture | Package | Version | Filename |
|---|---|---|---|---|---|
| Debian | 12 | all | minizinc | <= 2.6.4+dfsg1-1 | minizinc_2.6.4+dfsg1-1_all.deb |
| Debian | 11 | all | minizinc | <= 2.5.3+dfsg1-1 | minizinc_2.5.3+dfsg1-1_all.deb |
| Debian | 10 | all | minizinc | <= 2.1.7+dfsg1-1 | minizinc_2.1.7+dfsg1-1_all.deb |
| Debian | 999 | all | minizinc | < 2.8.2+dfsg1-1 | minizinc_2.8.2+dfsg1-1_all.deb |
| Debian | 13 | all | minizinc | < 2.8.2+dfsg1-1 | minizinc_2.8.2+dfsg1-1_all.deb |
Related
cvelist
cvelist
CVE-2023-46046
2024-03-27 00:00:00
ubuntucve
ubuntucve
CVE-2023-46046
2024-03-27 00:00:00
nvd
nvd
CVE-2023-46046
2024-03-27 05:15:47
veracode
veracode
NULL Pointer Dereference
2024-04-06 06:18:33
cve
cve
CVE-2023-46046
2024-03-27 05:15:47