CVE-2023-46050

None

No severity ratings or metrics are available. When they are, we'll update the corresponding info on the page.

Name of the Vulnerable Software and Affected Versions MiniZinc (affected versions not specified)

Description The issue is related to a null pointer dereference in MiniZinc, which can be triggered via a crafted Preferences.json file.

Recommendations At the moment, there is no information about a newer version that contains a fix for this vulnerability.

Found an issue in the description? Have something to add? Feel free to write us 👾

Related Identifiers

CVE-2023-46050

Minizinc