CyberRota Analysis
This is a medium severity vulnerability with a CVSS score of 5.5. Public exploit code or proof-of-concept references have been detected in its references.
Public Exploit Signal
A public exploit, PoC, GitHub repository or Metasploit reference was detected for this CVE.
GitHub PoC Links
External Security References
Note: these links are listed for security research and verification purposes only.
CVE
CVE-2023-46046
Severity
MEDIUM
CVSS
5.5
EPSS
0.28%
Original 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.