CVE-2023-46046

An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn...

5.5 MediumFix availableDisputed

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.

Attack profile

How easy it is to exploit

Attack vector: Local
Complexity: Low
Privileges needed: Low
User interaction: None

What an attacker can affect

Confidentiality: None
Integrity: None
Availability: High

Exploit likelihood

0.28%Up 0.2 points since Mar 27, 2024

What each source reports

CVE List Score used 5.5

Record: CVE-2023-46046
CVSS 3.1: 5.5 MediumCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Weakness: CWE-476
Updated: 2026-11-02

EUVDEUVD-2023-50307 5.5

Record: EUVD-2023-50307
CVSS 3.1: 5.5 MediumCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Updated: 2026-11-02

GitHub AdvisoriesGHSA-3gf3-x9x8-839v 5.5

An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn...

Record: GHSA-3gf3-x9x8-839v
CVSS 3.1: 5.5 MediumCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Weakness: CWE-476
Updated: 2026-11-02

NVD 5.5

Record: CVE-2023-46046
CVSS 3.1: 5.5 MediumCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Weakness: CWE-476
Updated: 2026-11-02

OSV 5.5

Record: CVE-2023-46046
CVSS 3.1: 5.5 MediumCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Updated: 2026-11-02

OSVDEBIAN-CVE-2023-46046 5.5

Record: DEBIAN-CVE-2023-46046
CVSS 3.1: 5.5 MediumCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Updated: 2026-11-02

Affected packages

Affected packages
Package	Affected	Fixed
`minizinc` Debian:12	All versions, plus listed versions 2.10.0+dfsg1-12.6.4+dfsg1-12.8.2+dfsg1-12.8.3+dfsg1-12.8.5+dfsg1-1 Show 8 moreShow less 2.8.5+dfsg1-22.8.6+dfsg1-12.8.7+dfsg1-12.9.0+dfsg1-12.9.2+dfsg1-12.9.3+dfsg1-12.9.5+dfsg1-12.9.7+dfsg1-1	None known
`minizinc` Debian:13	before 2.8.2+dfsg1-1	2.8.2+dfsg1-1
`minizinc` Debian:14	before 2.8.2+dfsg1-1	2.8.2+dfsg1-1

History

History
Recorded	Changed	Sources
Nov 2, 2026	first indexed	CVE List, EUVD, GitHub Advisories, NVD, OSV

Dates are when Every CVE recorded each change. Upstream dates may differ.

In short

CVE-2023-46046 is a medium vulnerability (CVSS 5.5) in minizinc, published March 27, 2024. Its validity is disputed. EPSS puts the chance of exploitation in the next 30 days at 0.28%, the 20th percentile. Fixed in minizinc 2.8.2+dfsg1-1.