What’s Vulnerable › Vulnerabilities

CVE-2023-46046

• Severity: medium (CVSS 5.5 v3.1)
• Exploited in the wild: not listed in CISA KEV
• EPSS: 0.3% probability of exploitation in the next 30 days
• Public exploit or detection template: none known
• Published: 2024-03-27 · updated 2026-06-17
• Weakness: CWE-476

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.

References

• http://seclists.org/fulldisclosure/2024/Jan/63
• https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
• https://github.com/MiniZinc/libminizinc/issues/730
• https://www.minizinc.org/doc-2.8.3/en/changelog.html
• http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html
• http://seclists.org/fulldisclosure/2024/Jan/63
• https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
• https://github.com/MiniZinc/libminizinc/issues/730
• https://www.minizinc.org/doc-2.8.3/en/changelog.html

Get alerted when CVE-2023-46046 or the next vulnerability affects your stack