CVE-2023-46046 · cross-distro fix matrix

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 process is supposed to run forever to process a series of atttacker-controlled .mzn files.

Affects 1 Linux release across 1 (distro × package) combinations.

Fix per ecosystem

Each block below is a distro release where CVE-2023-46046 has a known fix. Run the listed command on that distro to remediate.

Debian trixie

Source: Debian Security Tracker

minizinc→ fixed in2.8.2+dfsg1-1urgency: unimportant
```
sudo apt-get install --only-upgrade -y minizinc
```

Are YOU affected by CVE-2023-46046?

5-second check on your actual server. Reads /etc/os-release, uname -r, and the distro's package manager; matches against this same cross-source index live.

curl https://mindsparkstack.com/scan.sh | bash

Form-based quickscan View on NVD

Continuous monitoring beats manual checking

CVE-2023-46046dropped silently in your distro's update channel. Every new CVE is the same story. StackPatch runs the matcher hourly against all 5 sources and emails the exact remediation when something new applies to one of your servers. $99 lifetime, 50 founder seats, 30-day refund.

See StackPatch ($99 lifetime)