CVE-2023-46046 in libminizinc

Sumário

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

• Reservar: 16/10/2023
• Divulgação: 27/03/2024
• Moderação: aceite
• Entrada: VDB-252237
• CPE: pronto
• CWE: CWE-476 (confirmado)
• CVSS: 5.5 (CNA)
• EPSS: 0.00280
• KEV: não
• Atividades: muito baixo

Fontes

• 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/