CVE-2023-46046

MiniZinc versions prior to 2.8.0 are vulnerable to a NULL pointer dereference within the ti_expr component. This flaw can be triggered by providing a specially crafted .mzn file . While the vulnerability is technically documented, it is noted as disputed because there is no common use case where ...