Lucene search
+L

CVE-2023-46046: NULL Pointer Dereference

🗓️ 27 Mar 2024 00:00:00Reported by Rapid7Type 
rapid7
 rapid7
🔗 www.rapid7.com👁 1 Views

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 s...

Related
Refs
ReporterTitlePublishedViews
Family
cnnvd
CNNVD
MiniZinc 安全漏洞
27 Mar 202400:00
cnnvd
cve
CVE
CVE-2023-46046
27 Mar 202400:00
cve
cvelist
Cvelist
CVE-2023-46046
27 Mar 202400:00
cvelist
debiancve
Debian CVE
CVE-2023-46046
27 Mar 202400:00
debiancve
nvd
NVD
CVE-2023-46046
27 Mar 202405:15
nvd
osv
OSV
DEBIAN-CVE-2023-46046
27 Mar 202405:15
osv
ptsecurity
Positive Technologies
PT-2024-13319 · Minizinc +1 · Minizinc +1
26 Jan 202400:00
ptsecurity
susecve
SUSE CVE
SUSE CVE-2023-46046
28 Mar 202404:16
susecve
ubuntucve
UbuntuCve
CVE-2023-46046
27 Mar 202405:15
ubuntucve
nessus
Tenable Nessus
Linux Distros Unpatched Vulnerability : CVE-2023-46046
5 Mar 202500:00
nessus
Rows per page

Data

Build on a solid foundation with Vulners data

We provide the essential building blocks for cybersecurity solutions with comprehensive, structured, and constantly updated vulnerability and exploits data

Api

Power your application with Vulners API

The Vulners REST API offers reliable, high-performance access to vulnerability intelligence, with 99.9% SLA uptime and CDN-backed data delivery for seamless global access

App

Assess and manage vulnerabilities with Vulners tools

Built on top of Vulners' database and SDK, end-user solutions give security professionals and developers lightweight and powerful tools for vulnerability remediation

04 Nov 2025 00:00Current
CVSS 3.15.5
EPSS0.0028
SSVC
1