CVE-2023-46046

CVE-2023-46046 applies to MiniZinc before 2.8.0, where a NULL pointer dereference can be triggered via ti_expr in a crafted .mzn file. The issue is disputed due to a lack of common unattended-use cases for processing attacker-controlled files. Public details indicate the vulnerability exists in M...