Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles

Veículos autônomos não são meramente carros com motores avançados; são computadores sobre rodas, onde a segurança de passageiros e pedestres depende inteiramente de linhas de código. Essas máquinas dependem de uma complexa cadeia de suprimentos de software, uma vasta rede de ingredientes digitais que os desenvolvedores costuram para fazer o carro ver, pensar e se mover. Esta cadeia inclui o código original escrito pelo fabricante do carro, mas também depende fortemente de software de código aberto — blocos de construção disponíveis gratuitamente, criados por comunidades de programadores ao redor do mundo. Embora essa abordagem compartilhada acelere a inovação e permita o teste rápido de novas ideias, ela introduz um perigo único: se uma única peça deste software compartilhado contiver uma falha oculta, essa fraqueza pode se espalhar por todo o sistema, potencialmente fazendo com que o veículo interprete mal seus arredores ou falhe ao parar. À medida que esses veículos passam dos laboratórios de pesquisa para as estradas públicas, garantir a integridade de cada componente digital torna-se uma questão de vida ou morte.

Pesquisadores da Universidade do Alabama propuseram-se a examinar a saúde desta base digital olhando diretamente para o código de três das mais proeminentes plataformas de veículos autônomos de código aberto: Autoware, Apollo e openpilot. Esses projetos representam a vanguarda da tecnologia de direção autônoma, com o Autoware e o Apollo visando altos níveis de automação onde o carro dirige a si mesmo, e o openpilot focando em sistemas de assistência ao condutor que ajudam os humanos a manter o controle. A equipe tratou esses repositórios de software como um mecânico inspecionando um motor complexo, mas em vez de procurar por parafusos enferrujados, usaram ferramentas de varredura especializadas para caçar rachaduras digitais. Eles se concentraram em duas áreas principais: o código escrito pelas próprias equipes do projeto e as bibliotecas de terceiros — trechos de código pré-escritos emprestados de outras fontes — que esses projetos utilizam para funcionar.

A investigação revelou que, embora essas plataformas sejam poderosas, elas não estão imunes aos erros comuns que assolam o software em todos os lugares. Os pesquisadores descobriram que o código continha padrões recorrentes de fraqueza conhecidos como enumerações de fraquezas comuns. No código escrito em C e C++, linguagens frequentemente usadas para as tarefas pesadas de condução, as varreduras identificaram problemas relacionados ao gerenciamento de memória, como estouros de buffer (buffer overflows), onde os dados transbordam de seu espaço de armazenamento pretendido e podem corromper o sistema. No código Python, frequentemente usado para planejamento e ferramentas de nível superior, as varreduras descobriram problemas na forma como o software lida com situações e entradas inesperadas. Um dos problemas mais frequentes encontrados em todos os três projetos foi o tratamento inadequado de condições excepcionais, o que significa que o software às vezes falhava ao reagir corretamente quando algo dava errado. Outra descoberta importante foi a presença de falhas de injeção de comando, onde um ator malicioso poderia potencialmente enganar o sistema para executar comandos não autorizados.

O estudo também mergulhou profundamente na cadeia de suprimentos, examinando os milhares de pacotes externos dos quais esses veículos dependem. Os resultados aqui foram drasticamente diferentes dependendo do projeto. A plataforma Apollo, que é projetada para produção em larga escala, foi encontrada com um vasto número de dependências, e a varredura identificou 91 desses componentes externos com vulnerabilidades de segurança conhecidas. Entre estas estavam falhas críticas em pacotes usados para manipulação de arquivos e renderização web, alguns dos quais poderiam permitir que um invasor assumisse o controle do sistema ou acessasse dados sensíveis. Em contraste, o projeto openpilot, que possui um escopo mais estreito, mostrou muito menos problemas com suas dependências externas, com apenas um componente vulnerável detectado. O projeto Autoware apresentou a menor quantidade de problemas nesta área, com as varreduras não encontrando vulnerabilidades conhecidas em suas bibliotecas de terceiros no momento do estudo.

Apesar das diferenças no número de falhas encontradas, a mensagem central da pesquisa é clara: o software que alimenta esses veículos está atualmente exposto a riscos significativos. Os pesquisadores observaram que quase metade de todos os ataques cibernéticos no setor automotivo já explora fraquezas em sistemas de software, e sua análise confirma que essas vulnerabilidades existem no próprio código que deveria manter as pessoas seguras. O estudo não descobriu que os sistemas estão quebrados além do reparo, mas sim que são construídos sobre uma fundação que exige vigilância constante. Os autores sugerem que a segurança não pode ser algo deixado para depois; ela deve ser tecida no processo de desenvolvimento desde o início. Ao usar ferramentas automatizadas para verificar continuamente essas falhas e ao gerenciar cuidadosamente os componentes de software que são trazidos para o sistema, os desenvolvedores podem reduzir o risco de falhas catastróficas. O trabalho serve como um lembrete de que, em um mundo cada vez mais automatizado, a segurança da máquina depende da segurança de seu código.