Crash when type cannot be specialized in Tensorflow

TensorFlow puede fallar cuando no logra procesar ciertos tipos de datos durante el funcionamiento del modelo. Esto ocurre porque el código no verifica adecuadamente errores antes de usar el resultado, causando la interrupción de la aplicación.

Durante la inferencia de forma, TensorFlow falla al especializar tipos en escenarios específicos donde las aserciones DCHECK (desactivadas en builds de producción) no capturan la condición de error. La ejecución procede a llamar ValueOrDie() en un objeto Status de error en lugar de un valor válido, resultando en un bloqueo. La vulnerabilidad afecta implementaciones en producción cuando modelos malformados o configuraciones de entrada específicas desencadenan el fallo de especialización de tipo no controlado.