CVE-2023-46046
- State
- Published
- Severity
- 5.5 Medium
- Published
- Mar 27, 2024
- Updated
- Nov 4, 2025
- Reserved
- Oct 16, 2023
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.
Scores
| CVSS | Score | Vector | Source |
|---|---|---|---|
| 3.1 | 5.5 Medium | CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H | CISA-ADP |
Weaknesses
- CWE-476 NULL Pointer Dereference
Affected Products
| Product | Versions |
|---|---|
n/an/a |
|
References
- https://github.com/MiniZinc/libminizinc/issues/730
- 20240126 null pointer deference in MiniZinc via a crafted .mzn filemailing-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
Every record here comes from the CVE Program’s CVE List. © 1999–2026 The MITRE Corporation. CVE is a registered trademark of The MITRE Corporation. The records are reproduced under the CVE Program terms of use.