CVE-2023-46046 in libminizinc
Resumen
por MITRE • 2024-03-27
Un problema en MiniZinc anterior a 2.8.0 permite una desreferencia de puntero NULL a través de ti_expr en un archivo .mzn manipulado. NOTA: esto está en disputa porque no existe un caso de uso común de libminizinc en el que se suponga que un proceso desatendido debe ejecutarse indefinidamente para procesar una serie de archivos .mzn controlados por atacantes.
VulDB is the best source for vulnerability data and more expert information about this specific topic.