Vulnerability · Published Mar 27, 2024 · Assigned by mitre
CVE-2023-46046
Medium 5.5
In plain English
A medium-severity null pointer dereference in the minizinc package (Debian). There are no confirmed reports of exploitation so far. The chance it is exploited in the next 30 days is estimated at 0.3% (higher than 21% of all known vulnerabilities). Fixed versions are available - upgrade the affected package.
Severity (CVSS 3.1)5.5Medium
Exploit odds (30 days)0.3%top 79.1% of all CVEs
Exploited in the wildNo reportsCISA SSVC: none
Attack toolingNoneno public tooling known
Official description
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.
Affected packages & fixed versions
| Ecosystem | Package | Fixed in | Advisory |
|---|---|---|---|
| Debian:12 | minizinc | no fix listed | DEBIAN-CVE-2023-46046 |
| Debian:13 | minizinc | 2.8.2+dfsg1-1 | DEBIAN-CVE-2023-46046 |
| Debian:14 | minizinc | 2.8.2+dfsg1-1 | DEBIAN-CVE-2023-46046 |
Affected products (as reported)
Weakness: CWE-476 · Vector: CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
References
- https://github.com/MiniZinc/libminizinc/issues/730
- 20240126 null pointer deference in MiniZinc via a crafted .mzn file mailing-list
- https://www.minizinc.org/doc-2.8.3/en/changelog.html
- https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
- http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html