An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn file. NOTE: this is disputed because there is no common libminizinc use case in which an unattended process is supposed to run forever to process a series of atttacker-controlled .mzn files.
References
Configurations
No configuration.
History
No history.
Information
Published : 2024-03-27 05:15
Updated : 2024-11-21 08:27
NVD link : CVE-2023-46046
Mitre link : CVE-2023-46046
CVE.ORG link : CVE-2023-46046
JSON object : View
Products Affected
No product.
CWE
CWE-476
NULL Pointer Dereference