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

[Meng Ruijie <ruijie_meng@xxxxxxxxx>]

[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]
https://github.com/MiniZinc/libminizinc/issues/729

[CVE Reference]
The Common Vulnerabilities and Exposures project (cve.mitre.org) has assigned 
the name CVE-2023-46050 to this vulnerability.
_______________________________________________
Sent through the Full Disclosure mailing list
https://nmap.org/mailman/listinfo/fulldisclosure
Web Archives & RSS: https://seclists.org/fulldisclosure/