27Oca
CVE-2023-46046 | MiniZinc libminizinc 2.7.6 mzn File null pointer dereference
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.