[FullDisclosure] null pointer deference in MiniZinc via a crafted Preferences.json file

[github-actions]

Posted by Meng Ruijie on Jan 26

[Vulnerability description]

A null pointer deference existed in MiniZinc v.2.7.6 via a crafted Preferences.json file.

[VulnerabilityType Other]

null pointer deference

[Vendor of Product]

MiniZinc

[Affected Product Code Base]

MiniZinc - 2.7.6

[Reference]

MiniZinc/libminizinc#729

[CVE Reference]

The Common Vulnerabilities and Exposures project (cve.mitre.org) has assigned the name CVE-2023-46050 to this...

https://seclists.org/fulldisclosure/2024/Jan/67