Bug 1222058 (CVE-2023-46046) - VUL-0: CVE-2023-46046: libminizinc: NULL pointer dereference via ti_expr() in a crafted .mzn file
Summary: VUL-0: CVE-2023-46046: libminizinc: NULL pointer dereference via ti_expr() in...
Status: NEW
Alias: CVE-2023-46046
Product: openSUSE Distribution
Classification: openSUSE
Component: Security (show other bugs)
Version: Leap 15.6
Hardware: Other Other
: P3 - Medium : Normal (vote)
Target Milestone: ---
Assignee: Stefan Brüns
QA Contact: Security Team bot
URL: https://smash.suse.de/issue/399116/
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-03-27 10:52 UTC by SMASH SMASH
Modified: 2024-03-27 11:15 UTC (History)
1 user (show)

See Also:
Found By: Security Response Team
Services Priority:
Business Priority:
Blocker: ---
Marketing QA Status: ---
IT Deployment: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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