DEBIAN-CVE-2023-46046

See a problem?
Please try reporting it to the source first.
Source
https://security-tracker.debian.org/tracker/CVE-2023-46046
Import Source
https://storage.googleapis.com/osv-test-debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json
JSON Data
https://api.test.osv.dev/v1/vulns/DEBIAN-CVE-2023-46046
Upstream
Published
2024-03-27T05:15:47Z
Modified
2025-10-10T19:30:24.054808Z
Severity
  • 5.5 (Medium) CVSS_V3 - CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H CVSS Calculator
Summary
[none]
Details

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.

References

Affected packages

Debian:11 / minizinc

Package

Name
minizinc
Purl
pkg:deb/debian/minizinc?arch=source

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected

Affected versions

2.*

2.5.3+dfsg1-1
2.6.3+dfsg1-1
2.6.4+dfsg1-1
2.8.2+dfsg1-1
2.8.3+dfsg1-1
2.8.5+dfsg1-1
2.8.5+dfsg1-2
2.8.6+dfsg1-1
2.8.7+dfsg1-1
2.9.0+dfsg1-1
2.9.2+dfsg1-1
2.9.3+dfsg1-1

Ecosystem specific 

{
    "urgency": "unimportant"
}

Debian:12 / minizinc

Package

Name
minizinc
Purl
pkg:deb/debian/minizinc?arch=source

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected

Affected versions

2.*

2.6.4+dfsg1-1
2.8.2+dfsg1-1
2.8.3+dfsg1-1
2.8.5+dfsg1-1
2.8.5+dfsg1-2
2.8.6+dfsg1-1
2.8.7+dfsg1-1
2.9.0+dfsg1-1
2.9.2+dfsg1-1
2.9.3+dfsg1-1

Ecosystem specific 

{
    "urgency": "unimportant"
}

Debian:13 / minizinc

Package

Name
minizinc
Purl
pkg:deb/debian/minizinc?arch=source

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected
Fixed
2.8.2+dfsg1-1

Ecosystem specific 

{
    "urgency": "unimportant"
}

Debian:14 / minizinc

Package

Name
minizinc
Purl
pkg:deb/debian/minizinc?arch=source

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected
Fixed
2.8.2+dfsg1-1

Ecosystem specific 

{
    "urgency": "unimportant"
}