[Vulnerability description] Null pointer deference happens in MiniZinc v.2.7.6 via a crafted .mzn 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/730 [CVE Reference] The Common Vulnerabilities and Exposures project (cve.mitre.org) has assigned the name CVE-2023-46046 to this vulnerability. _______________________________________________ Sent through the Full Disclosure mailing list https://nmap.org/mailman/listinfo/fulldisclosure Web Archives & RSS: https://seclists.org/fulldisclosure/