A vulnerability, which was classified as problematic, was found in MiniZinc libminizinc 2.7.6. This affects an unknown part of the component mzn File Handler. The manipulation leads to null pointer dereference.
This vulnerability is uniquely identified as CVE-2023-46046. Access to the local network is required for this attack to succeed. There is no exploit available.
