Is CVE-2023-46046 in the CISA KEV catalog?

No. CVE-2023-46046 is not currently on the CISA Known Exploited Vulnerabilities list.

What is the CVSS severity of CVE-2023-46046?

CVE-2023-46046 has a CVSS v3 base score of 5.5 (MEDIUM).

What is the EPSS score for CVE-2023-46046?

CVE-2023-46046 has an EPSS score of 0.28% (20th percentile), estimating the probability of exploitation in the next 30 days.

How do I fix CVE-2023-46046?

Upgrade minizinc on debian 13 to 2.8.2+dfsg1-1 or later.

CVE & CISA-KEV Catalog

CVE-2023-46046

MEDIUM

5.5

CVSS v3

NVD

Description

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.

CWE-476NULL Pointer Dereference

How to fix

Remediation Available

minizincDebian

Fixed in:2.8.2+dfsg1-1CVE-2023-46046

Remediation is compiled from vendor and distribution security advisories. Always confirm against the linked source for your exact version and platform.

CVSS v3 Vector

Exploitability

Attack VectorLocal

Attack ComplexityLow

Privileges RequiredLow

User InteractionNone

ScopeUnchanged

Impact

ConfidentialityNone

IntegrityNone

AvailabilityHigh

CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H

Exploit Intelligence

0.28%probability of exploitation in 30 days

20thpercentile

Low risk: more likely to be exploited than 20% of all known CVEs.

References

Other references5

Related Vulnerabilities

Other CWE-476 (NULL Pointer Dereference) vulnerabilities, ordered by exploit likelihood. View all

CVE	Severity	CVSS	EPSS	Exploited	Fix
CVE-2023-21758	High	7.5	92%	-	Fix
CVE-2023-21547	High	7.5	88%	-	Fix
CVE-2014-3470	Medium	4.3	86%	-	Fix
CVE-2021-44224	High	8.2	82%	-	Fix
CVE-2016-0742	High	7.5	82%	-	Fix
CVE-2009-1386	Medium	5.0	80%	-	Fix

Embed a live status badge for CVE-2023-46046

Markdown

[![CVE-2023-46046](https://tridentstack.com/cve/badge/CVE-2023-46046.svg)](https://tridentstack.com/cve/CVE-2023-46046)

HTML

<a href="https://tridentstack.com/cve/CVE-2023-46046"><img src="https://tridentstack.com/cve/badge/CVE-2023-46046.svg" alt="CVE-2023-46046"></a>

Find and fix vulnerabilities across your fleet

TridentStack Control continuously scans your Windows, macOS, and Linux fleet for known vulnerabilities, prioritizes them by severity and active exploitation, and patches them automatically.

Start free

This product uses NVD data but is not endorsed or certified by the NVD. EPSS scores courtesy of FIRST.org (https://www.first.org/epss). Source: CISA KEV Catalog. Data as of 2025-11-04.