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.

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.

EPSS: 0.003 (20.3th percentile) — read the EPSS interpretation.

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.

Affected products

N/a — versions n/a

Weakness classification (CWE)

CWE-476 — NULL Pointer Dereference

References

cve@mitre.org
cve@mitre.org (mailing-list)
cve@mitre.org
cve@mitre.org
af854a3a-2127-422b-91ae-364da2661108

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.