Linux · Debian · Security advisory · March 27, 2024

DEBIAN-CVE-2023-46046: minizinc security update

DEBIAN-CVE-2023-46046, released March 27, 2024, fixes 1 CVE in minizinc (version 2.8.2+dfsg1-1). None of them is reported as exploited. Patch Radar priority: Routine.

Routine
CVEs closed
1
None rated Critical
Exploited
0
None reported
Highest CVSS
5.5
Base score, 0 to 10
Highest EPSS
0.0028
20th percentile

Fixed package versions

ProductReleaseFixed in
minizincDebian 13.5 (trixie)2.8.2+dfsg1-1
minizincDebian 142.8.2+dfsg1-1

CVEs this fix closes

PriorityCVETitleCVSSEPSSExploitation
Routine CVE-2023-46046 minizinc: An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn file5.5 0.0028 None reported
Showing 1 to 1 of 1 1

Patch Radar data is free to use with attribution. Terms and how to credit it.

Product names, logos and trademarks shown on Patch Radar belong to their respective owners. They are used only to identify the software each security fix applies to and to help readers find their platform. Their use does not imply any affiliation with, or endorsement by, those owners, and Patchblox is not affiliated with any of them.