PT-2024-13319 · Minizinc +1 · Minizinc +1

Name of the Vulnerable Software and Affected Versions: MiniZinc versions prior to 2.8.0 Description: The issue allows a NULL pointer dereference via ti expr in a crafted .mzn file. This is disputed because there is no common libminizinc use case in which an unattended process is supposed to run...