NULL pointer dereference in N/a

CVE-2023-46046

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.

Published · last modified .

CVSS v3 metric

CVSS v3 base score 5.5 (Medium). Vector: CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H.

EPSS exploit prediction

EPSS: 0.003 (18.5th percentile), scored .

Very low probability of exploitation in the next 30 days; routine patching cadence is appropriate. 18th percentile — 18.5% of CVEs in the catalogue have a lower EPSS than this one. How to read EPSS.

EPSS trend (30 days)EPSS over the last 30 days for CVE-2023-46046: held from 0.003 to 0.003.

EPSS over last 30 days · oldest: 0.003 · newest: 0.003 · change: 0.000

Weakness classification (CWE)

References

Frequently asked questions

What is CVE-2023-46046?
CVE-2023-46046 is a medium-severity vulnerability in N/a, classified under NULL Pointer Dereference. CVSS score: 5.5/10. Published 2024-03-27.
How severe is CVE-2023-46046?
Medium severity. CVSS v3 base score is 5.5 out of 10.