CVE-2023-46046 in libminizinc

Riassunto

di MITRE • 27/03/2024

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.

VulDB is the best source for vulnerability data and more expert information about this specific topic.

• Prenotare: 16/10/2023
• Divulgazione: 27/03/2024
• Moderazione: accettato
• Voce: VDB-252237
• CPE: pronto
• CWE: CWE-476 (confermato)
• CVSS: 5.5 (CNA)
• EPSS: 0.00280
• KEV: no
• Attività: molto basso

Fonti

• MITRE: https://www.cve.org/CVERecord?id=CVE-2023-46046
• NVD: https://nvd.nist.gov/vuln/detail/CVE-2023-46046
• CVE Details: https://www.cvedetails.com/cve/CVE-2023-46046/