MediumFix available
minizinc — security advisory
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.
- Products
- minizinc
- Affected versions
- 2.10.0+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, 2.9.5+dfsg1-1, 2.9.7+dfsg1-1
- Fixed versions
- 2.8.2+dfsg1-1
- CVEs
- CVE-2023-46046
- Confirmed fixed CVEs
- Not specified
- Updated in this feed
- 1 Nov 2026, 16:06 UTC · Revision 1
Source evidence
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.
osv:DEBIAN-CVE-2023-46046
minizinc
Fixed versions: Not specified
minizinc
Fixed versions: 2.8.2+dfsg1-1
minizinc
Fixed versions: 2.8.2+dfsg1-1
Complete source record
{
"id": "93d9994cf8da5d18b727894ee0ab1bbba95adbe2dc69bc7c3562431e7ce4ae3e",
"url": "https://osv.dev/vulnerability/DEBIAN-CVE-2023-46046",
"method": "structured",
"payload": {
"kind": "advisory",
"title": "DEBIAN-CVE-2023-46046",
"summary": "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.",
"evidence": "osv:DEBIAN-CVE-2023-46046",
"products": [
{
"name": {
"value": "minizinc",
"evidence": "/affected/0/package/name"
},
"prerequisites": [],
"fixed_versions": [],
"affected_versions": [
{
"value": "2.10.0+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.6.4+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.8.2+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.8.3+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.8.5+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.8.5+dfsg1-2",
"evidence": "/affected/0/versions"
},
{
"value": "2.8.6+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.8.7+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.9.0+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.9.2+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.9.3+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.9.5+dfsg1-1",
"evidence": "/affected/0/versions"
},
{
"value": "2.9.7+dfsg1-1",
"evidence": "/affected/0/versions"
}
]
},
{
"name": {
"value": "minizinc",
"evidence": "/affected/1/package/name"
},
"prerequisites": [],
"fixed_versions": [
{
"value": "2.8.2+dfsg1-1",
"evidence": "/affected/1/ranges"
}
],
"affected_versions": []
},
{
"name": {
"value": "minizinc",
"evidence": "/affected/2/package/name"
},
"prerequisites": [],
"fixed_versions": [
{
"value": "2.8.2+dfsg1-1",
"evidence": "/affected/2/ranges"
}
],
"affected_versions": []
}
],
"severity": "medium",
"structured": {
"id": "DEBIAN-CVE-2023-46046",
"aliases": [
"DEBIAN-CVE-2023-46046"
],
"metrics": [
{
"type": "CVSS_V3",
"score": "CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H"
}
],
"affected": [
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
}
]
}
],
"package": {
"name": "minizinc",
"purl": "pkg:deb/debian/minizinc?arch=source&distro=bookworm",
"ecosystem": "Debian:12"
},
"versions": [
"2.10.0+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",
"2.9.5+dfsg1-1",
"2.9.7+dfsg1-1"
],
"database_specific": {
"source": "https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json"
},
"ecosystem_specific": {
"urgency": "unimportant"
}
},
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
},
{
"fixed": "2.8.2+dfsg1-1"
}
]
}
],
"package": {
"name": "minizinc",
"purl": "pkg:deb/debian/minizinc?arch=source&distro=trixie",
"ecosystem": "Debian:13"
},
"database_specific": {
"source": "https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json"
},
"ecosystem_specific": {
"urgency": "unimportant"
}
},
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
},
{
"fixed": "2.8.2+dfsg1-1"
}
]
}
],
"package": {
"name": "minizinc",
"purl": "pkg:deb/debian/minizinc?arch=source&distro=forky",
"ecosystem": "Debian:14"
},
"database_specific": {
"source": "https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2023-46046.json"
},
"ecosystem_specific": {
"urgency": "unimportant"
}
}
],
"modified": "2026-10-26T18:02:42.257609640Z",
"provider": "osv",
"upstream": [
"CVE-2023-46046"
],
"references": [
"https://security-tracker.debian.org/tracker/CVE-2023-46046"
]
},
"related_cves": [
{
"value": "CVE-2023-46046",
"evidence": "/upstream"
}
],
"security_relevant": true,
"severity_evidence": "/severity/0/score"
},
"source_id": "core-osv",
"document_id": 456643,
"published_at": "2024-03-27T05:15:47.44+00:00"
}