CVE-2023-46046

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.

Category

5.5
CVSS
Severity: Medium
CVSS 3.1 •
EPSS 0.09%
Affected: n/a n/a
Published at:
Updated at:

References

Link Tags
https://github.com/MiniZinc/libminizinc/issues/730
http://seclists.org/fulldisclosure/2024/Jan/63 mailing list
https://www.minizinc.org/doc-2.8.3/en/changelog.html
https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0

Frequently Asked Questions

What is the severity of CVE-2023-46046?
CVE-2023-46046 has been scored as a medium severity vulnerability.
How to fix CVE-2023-46046?
To fix CVE-2023-46046, make sure you are using an up-to-date version of the affected component(s) by checking the vendor release notes. As for now, there are no other specific guidelines available.
Is CVE-2023-46046 being actively exploited in the wild?
As for now, there are no information to confirm that CVE-2023-46046 is being actively exploited. According to its EPSS score, there is a ~0% probability that this vulnerability will be exploited by malicious actors in the next 30 days.
This platform uses data from the NIST NVD, MITRE CVE, MITRE CWE, First.org and CISA KEV but is not endorsed or certified by these entities. CVE is a registred trademark of the MITRE Corporation and the authoritative source of CVE content is MITRE's CVE web site. CWE is a registred trademark of the MITRE Corporation and the authoritative source of CWE content is MITRE's CWE web site.
© 2025 Under My Watch. All Rights Reserved.