Logo
-

Byte Open Security

(ByteOS Network)

Log In

Sign Up

ByteOS

Security
Vulnerability Details
Registries
Custom Views
Weaknesses
Attack Patterns
Filters & Tools
CVE Vulnerability Details :
CVE-2023-46046
PUBLISHED
More InfoOfficial Page
Assigner-mitre
Assigner Org ID-8254265b-2729-46b6-b9e3-3dfca2d5bfca
View Known Exploited Vulnerability (KEV) details
Published At-27 Mar, 2024 | 00:00
Updated At-04 Nov, 2025 | 18:18
Rejected At-
▼CVE Numbering Authority (CNA)

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.

Affected Products
Vendor
n/a
Product
n/a
Versions
Affected
  • n/a
Problem Types
TypeCWE IDDescription
textN/An/a
Type: text
CWE ID: N/A
Description: n/a
Metrics
VersionBase scoreBase severityVector
Metrics Other Info
Impacts
CAPEC IDDescription
Solutions
Configurations
Workarounds
Exploits
Credits
Timeline
EventDate
Replaced By
Rejected Reason
References
HyperlinkResource
https://github.com/MiniZinc/libminizinc/issues/730
N/A
http://seclists.org/fulldisclosure/2024/Jan/63
mailing-list
https://www.minizinc.org/doc-2.8.3/en/changelog.html
N/A
https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
N/A
Hyperlink: https://github.com/MiniZinc/libminizinc/issues/730
Resource: N/A
Hyperlink: http://seclists.org/fulldisclosure/2024/Jan/63
Resource:
mailing-list
Hyperlink: https://www.minizinc.org/doc-2.8.3/en/changelog.html
Resource: N/A
Hyperlink: https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
Resource: N/A
▼Authorized Data Publishers (ADP)
1. CISA ADP Vulnrichment
Affected Products
Problem Types
TypeCWE IDDescription
CWECWE-476CWE-476 NULL Pointer Dereference
Type: CWE
CWE ID: CWE-476
Description: CWE-476 NULL Pointer Dereference
Metrics
VersionBase scoreBase severityVector
3.15.5MEDIUM
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Version: 3.1
Base score: 5.5
Base severity: MEDIUM
Vector:
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Metrics Other Info
Impacts
CAPEC IDDescription
Solutions
Configurations
Workarounds
Exploits
Credits
Timeline
EventDate
Replaced By
Rejected Reason
References
HyperlinkResource
2. CVE Program Container
Affected Products
Metrics
VersionBase scoreBase severityVector
Metrics Other Info
Impacts
CAPEC IDDescription
Solutions
Configurations
Workarounds
Exploits
Credits
Timeline
EventDate
Replaced By
Rejected Reason
References
HyperlinkResource
https://github.com/MiniZinc/libminizinc/issues/730
x_transferred
http://seclists.org/fulldisclosure/2024/Jan/63
mailing-list
x_transferred
https://www.minizinc.org/doc-2.8.3/en/changelog.html
x_transferred
https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
x_transferred
http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html
N/A
Hyperlink: https://github.com/MiniZinc/libminizinc/issues/730
Resource:
x_transferred
Hyperlink: http://seclists.org/fulldisclosure/2024/Jan/63
Resource:
mailing-list
x_transferred
Hyperlink: https://www.minizinc.org/doc-2.8.3/en/changelog.html
Resource:
x_transferred
Hyperlink: https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0
Resource:
x_transferred
Hyperlink: http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html
Resource: N/A
Details not found