Bug 1222058 (CVE-2023-46046)

Summary:	VUL-0: CVE-2023-46046: libminizinc: NULL pointer dereference via ti_expr() in a crafted .mzn file
Product:	[openSUSE] openSUSE Distribution	Reporter:	SMASH SMASH <smash_bz>
Component:	Security	Assignee:	Stefan Brüns <stefan.bruens>
Status:	NEW ---	QA Contact:	Security Team bot <security-team>
Severity:	Normal
Priority:	P3 - Medium	CC:	carlos.lopez
Version:	Leap 15.6
Target Milestone:	---
Hardware:	Other
OS:	Other
URL:	https://smash.suse.de/issue/399116/
Whiteboard:
Found By:	Security Response Team	Services Priority:
Business Priority:		Blocker:	---
Marketing QA Status:	---	IT Deployment:	---

Description SMASH SMASH 2024-03-27 10:52:50 UTC

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:
http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2023-46046
https://www.cve.org/CVERecord?id=CVE-2023-46046
http://seclists.org/fulldisclosure/2024/Jan/63
https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
https://github.com/MiniZinc/libminizinc/issues/730
https://www.minizinc.org/doc-2.8.3/en/changelog.html