Taskflow Agent do GitHub Security Lab encontra 24 vulnerabilidades no Android, mas exige revisão humana

O GitHub Security Lab afirma que seu Taskflow Agent de código aberto ajudou a identificar e relatar 24 vulnerabilidades em aplicativos Android. O resultado destaca tanto o valor de auditorias direcionadas com auxílio de IA quanto os limites de confiar em modelos de linguagem para determinar se uma descoberta é realmente explorável.

Fluxos direcionados

O sistema reúne prompts e etapas de pesquisa em taskflows reutilizáveis. Para auditorias Android, o GitHub acrescentou fluxos que identificam pontos de entrada específicos de dispositivos móveis e classificam possíveis tipos de vulnerabilidade para cada componente. Execuções repetidas combinam verificações mais rigorosas para problemas conhecidos com prompts amplos, destinados a revelar conexões menos evidentes no modelo de ameaças de um aplicativo.

A abordagem foi projetada para projetos com diferentes tipos de código, separando superfícies de ataque móveis de componentes web ou desktop não relacionados. Entre os exemplos do GitHub estão vulnerabilidades envolvendo activities Android exportadas, intents, deep links e WebViews.

Dois casos divulgados

Um dos casos relatados envolveu o aplicativo Android do OsmAnd. Segundo o GitHub, qualquer aplicativo poderia enviar dados de intent especialmente construídos para uma activity exportada e alterar configurações silenciosamente, inclusive as fontes dos mapas. Isso poderia expor os mapas e as rotas carregados pelo usuário a um servidor controlado por um invasor, sem uma mudança evidente na interface do aplicativo.

Uma cadeia separada afetou o aplicativo Android da Wikipedia. De acordo com o GitHub, uma falha no tratamento de deep links poderia fazer um site controlado por um invasor parecer uma página da Wikipedia dentro do aplicativo. Combinada a um problema no domínio dos cookies, a cadeia poderia expor cookies de longa duração e permitir a tomada de controle de contas em projetos da Wikimedia.

Limitações e acesso

Os taskflows estão disponíveis como código aberto, mas sua execução exige uma licença do GitHub Copilot e utiliza requisições a modelos premium. O GitHub afirma que uma auditoria pode fazer muitas chamadas de ferramentas, consumir um volume significativo de tokens e levar uma ou duas horas em um repositório de tamanho médio. Após a execução, os resultados são apresentados por meio de um visualizador de SQLite.

O GitHub também relata falsos positivos frequentes e estimativas imprecisas de gravidade. Os modelos podem deixar de considerar fatores de mitigação, interpretar mal a interação entre camadas de armazenamento ou apontar problemas que dependem de condições irreais. Por isso, pesquisadores de segurança precisam validar as descobertas com conhecimento específico do aplicativo, depuração e testes de prova de conceito, em vez de tratar todo resultado gerado pelo modelo como uma vulnerabilidade confirmada.

Ilustração editorial gerada por IA; não é uma fotografia documental.

Fonte: How we found 24 Android vulnerabilities using our open source AI security agent