PT-2024-13319 · Minizinc+1 · Minizinc+1

Gjduck · Publicado 2024-01-26 · Atualizado 2024-11-05 · CVE-2023-46046

Positive Technologies (AI Summary) · Pt

CVSS v3.1

5.5

Média

Vetor base

AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H

Nome do software vulnerável e versões afetadas

Versões do MiniZinc anteriores à 2.8.0

Descrição

A vulnerabilidade permite a desreferência de um ponteiro NULL via ti expr em um arquivo .mzn malicioso. Isso é contestado porque não há um caso de uso comum da libminizinc em que um processo não supervisionado deva ser executado indefinidamente para processar uma série de arquivos .mzn controlados pelo invasor.

Recomendações

Para versões anteriores à 2.8.0, atualize para a versão 2.8.0 ou posterior para resolver o problema. Como solução alternativa temporária, considere restringir o processamento de arquivos .mzn criados especificamente para minimizar o risco de exploração. Evite usar a função ti expr com entradas não confiáveis até que o problema seja resolvido.

Correção

NULL Pointer Dereference

Enumeração de Fraquezas

CWE-476

Identificadores relacionados

CVE-2023-46046

Produtos afetados

Debian

Minizinc

Referências · 15

• https://github.com/MiniZinc/libminizinc/issues/730 · Nota
• https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0 · Nota
• https://cve.org/CVERecord?id=CVE-2023-46046 · Nota de Segurança
• https://security-tracker.debian.org/tracker/CVE-2023-46046 · Aviso do Fabricante
• https://t.me/cvenotify/74778 · Publicação no Telegram
• https://twitter.com/CVEnew/status/1772855086735077697 · Publicação no Twitter
• https://ubuntu.com/security/CVE-2023-46046 · Aviso do Fabricante
• https://osv.dev/vulnerability/UBUNTU-CVE-2023-46046 · Aviso do Fabricante
• http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html · Nota
• https://nvd.nist.gov/vuln/detail/CVE-2023-46046 · Nota de Segurança
• https://minizinc.org/doc-2.8.3/en/changelog.html · Nota
• https://osv.dev/vulnerability/DEBIAN-CVE-2023-46046 · Aviso do Fabricante
• http://seclists.org/fulldisclosure/2024/Jan/63 · Nota
• https://twitter.com/VulmonFeeds/status/1751006413675995574 · Publicação no Twitter
• https://osv.dev/vulnerability/CVE-2023-46046 · Aviso do Fabricante