CVE-2023-46050 | MiniZinc libminizinc 2.7.6 Preferences.json null pointer dereference
A vulnerability was suspected in MiniZinc libminizinc 2.7.6. This issue appears to be a false-positive. Please verify the sources mentioned and consider not using this entry at all.