CVE-2023-46046 Null dereference in n/a
A crafted .mzn file can cause a NULL pointer dereference in MiniZinc, leading to a denial of service.
- Exploited in the wild
- Not known
- Login needed
- Any signed-in user
- Attackable
- Local or same network only
- Victim action needed
- Not needed
- Fix
- Available
What is CVE-2023-46046?
CVE-2023-46046 is a medium-severity vulnerability in n/a, published on 27 Mar 2024. It can only be exploited from the same machine or local network, with no action from the victim.
Official description
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.
Weakness: CWE-476
Which versions are affected by CVE-2023-46046?
How do I fix CVE-2023-46046?
Upgrade to a fixed version.
Is CVE-2023-46046 being exploited?
There is no known exploitation of CVE-2023-46046 in the wild and no public exploit code.
Sources
Also known as DEBIAN-CVE-2023-46046, GHSA-3gf3-x9x8-839v.