Mend.io Vulnerability Database

What is a CVE vulnerability ID? icon What is a WS vulnerability ID? icon What is an MSC vulnerability ID? icon
New vulnerability? Tell us about it!
icon

We found results for “”

CVE-2023-46046

Good to know:

icon

Date: March 27, 2024

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.

Language: C

Severity Score

Related Resources (7)

https://www.minizinc.org/doc-2.8.3/en/changelog.html
http://seclists.org/fulldisclosure/2024/Jan/63
https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
https://github.com/MiniZinc/libminizinc/issues/730
https://nvd.nist.gov/vuln/detail/CVE-2023-46046
https://security-tracker.debian.org/tracker/CVE-2023-46046
https://www.mend.io/vulnerability-database/CVE-2023-46046

Severity Score

Top Fix

icon

Upgrade Version

Upgrade to version 2.8.0

Learn More

CVSS v3.1

Base Score:
Attack Vector (AV): NETWORK
Attack Complexity (AC): LOW
Privileges Required (PR): NONE
User Interaction (UI): NONE
Scope (S): UNCHANGED
Confidentiality (C): NONE
Integrity (I): NONE
Availability (A): HIGH

Do you need more information?

Contact Us