CVE-2023-46046
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
02 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
03 Exploitation and scoring
- Exploitation
- Assessed, none found. CISA's assessment recorded neither public exploit code nor evidence of exploitation when it was made.
- SSVC decision
- ExploitationnoneCISA recorded no public exploit code and no evidence of exploitation.
- AutomatablenoAt least one step from reconnaissance to exploitation cannot be reliably automated.
- Technical ImpactpartialSuccessful exploitation gives limited control of the vulnerable component.
- EPSS probability
- 0.28% probability of exploitation activity in the next 30 days.
- EPSS percentile
- Equal to or higher than the score of 20.5% of scored records. A rank, not a probability.
- NVD base score
- 5.5 (CVSS v3.x), scored by the NVD independently of the CNA.
- NVD CVSS vector
- CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
- NVD analysis status
- Deferred. NVD last modified this record on 2026-06-17.
- Red Hat severity
- No Red Hat rating. Red Hat rates the CVEs that affect its products.
Exploit-prediction scores from FIRST. Independent scoring and analysis status from the NVD. Vendor severity from Red Hat. Exploitation assessment and catalog membership from CISA.
04 Metadata
- Published
- 2024-03-27 00:00Z2 YR AGO
- Last updated
- 2025-11-04 18:18Z11 MO AGO
- Reserved
- 2023-10-16
- Assigning CNA
- mitre
- Record state
- PUBLISHED
- Severity
- Medium (CVSS 5.5)
- CNA CVSS vector
- CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
- Weaknesses
- CWE-476NULL Pointer DereferenceBase
- Data version
- 5.2
- Document digest
- 8df0f63082f6367fa3ca7141772520ee1e0cfe61ac18ab08d55cd77bec0ac3af
05 Affected products
06 References
- github.comhttps://github.com/MiniZinc/libminizinc/issues/730
- seclists.org20240126 null pointer deference in MiniZinc via a crafted .mzn filehttp://seclists.org/fulldisclosure/2024/Jan/63
- www.minizinc.orghttps://www.minizinc.org/doc-2.8.3/en/changelog.html
- github.comhttps://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
- packetstormsecurity.comhttp://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html
07 Fixed in
Debian 12
- minizinc No fix yet
Source: Debian Security Tracker, the Debian security team. Received through OSV.dev. Reformatted by exploit.cc.
Debian 13
- minizinc Fixed in 2.8.2+dfsg1-1
Source: Debian Security Tracker, the Debian security team. Received through OSV.dev. Reformatted by exploit.cc.
Debian 14
- minizinc Fixed in 2.8.2+dfsg1-1
Source: Debian Security Tracker, the Debian security team. Received through OSV.dev. Reformatted by exploit.cc.
A release or ecosystem missing from this list has no record here. It may be unaffected or not covered by the source. Source notices and licences.