CVE-2022-49985

Nome do Software Vulnerável e Versões Afetadas Versões do kernel Linux anteriores a 5.19.0

Descrição A questão está relacionada ao uso de tnum range na verificação de intervalo de array para descritores de poke no kernel Linux. Surge um problema quando um intervalo de tnum range(0, map->max entries - 1) tem capacidade limitada de representar o intervalo concreto restrito com o tnum, pois o conjunto de estados resultantes de value + mask pode resultar em um superconjunto do intervalo real pretendido. Isso pode fazer com que uma verificação tnum in(range, reg->var off) retorne verdadeiro quando não deveria. A questão foi relatada por Hsin-Wei e é baseada em um syzkaller personalizado.

Recomendações Para versões do kernel Linux anteriores a 5.19.0, atualize para a versão 5.19.0 ou posterior para resolver a questão. Como solução temporária, considere restringir o uso da função vulnerável bpf int jit compile até que uma correção esteja disponível. Evite usar a variável reg->var off na verificação de intervalo de array afetada até que a questão seja resolvida.