CVE-2023-46046 in libminizinc
Сводка
по VulDB • 01.08.2026
В версии MiniZinc до 2.8.0 обнаружена уязвимость, позволяющая выполнить разыменование нулевого указателя (NULL pointer dereference) через ti_expr в специально созданном файле с расширением .mzn. ПРИМЕЧАНИЕ: данный факт оспаривается, поскольку не существует общепринятого варианта использования библиотеки libminizinc, при котором фоновый процесс должен работать бесконечно для обработки серии файлов .mzn, контролируемых злоумышленником.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.