Segfault and data corruption in tensorflow-lite

O TensorFlow Lite não valida corretamente índices de array ao converter valores negativos, permitindo acesso à memória fora dos limites que pode derrubar a aplicação ou corromper dados. A validação crítica só funciona em modo debug, deixando sistemas em produção vulneráveis.

A vulnerabilidade está na função `ResolveAxis`, que converte índices negativos para positivos sem verificação de limites adequada em compilações de release (validação presente apenas em debug via DCHECK). Um atacante pode fornecer entrada manipulada com índices negativos inválidos para provocar acesso fora dos limites de memória, resultando em falhas de segmentação ou corrupção de dados. O problema afeta TensorFlow Lite versões anteriores a 1.15.4, 2.0.3, 2.1.2, 2.2.1 e 2.3.1.