O Ministério da Defesa apresentou ao TSE (Tribunal Superior Eleitoral) nesta quarta-feira (9) o relatório do trabalho de fiscalização do sistema eletrônico de votação realizado pela equipe de técnicos militares das Forças Armadas. Segundo o documento, o tribunal dificultou a análise dos códigos-fonte das urnas eletrônicas. Além disso, os militares apontaram falhas nos mecanismos de fiscalização do sistema no momento da votação. O TSE nega a existência de fraude (leia mais abaixo).
“Do trabalho realizado, destaco dois pontos. Primeiro, foi observado que a ocorrência de acesso à rede, durante a compilação do código-fonte e consequente geração dos programas (códigos binários), pode configurar relevante risco à segurança do processo. Segundo, dos testes de funcionalidade, realizados por meio do Teste de Integridade e do Projeto-Piloto com Biometria, não é possível afirmar que o sistema eletrônico de votação está isento da influência de um eventual código malicioso que possa alterar o seu funcionamento”, destacou o ministro da Defesa, Paulo Sérgio Nogueira.
Leia também: NOTA OFICIAL: Relatório de militares não aponta fraude nas eleições
Sobre os códigos-fonte, os militares ressaltaram que “foram autorizadas somente análises estáticas, ou seja, foi impossibilitada a execução dos códigos-fonte, fato que teve por consequência a não compreensão da sequência de execução de cada parte do sistema, bem como do funcionamento do sistema como um todo”.
Ainda de acordo com o relatório, “não foi autorizado o acesso ao sistema de controle de versões do SEV [sistema eletrônico de votação], o que inviabilizou a comparação da versão compilada com a versão fiscalizada”. “Não há certeza de que o código presente nas urnas é exatamente o que foi verificado”, disseram as Forças Armadas.
Continua depois da publicidade
Os militares frisaram também que “não foi concedido acesso às bibliotecas de software desenvolvidas por terceiros e referenciadas no código-fonte, limitando o entendimento do sistema inspecionado”. “As restrições à fiscalização no ambiente de análise dificultaram a inspeção de um sistema complexo que possui mais de 17 milhões de linhas de código fonte.”
Nogueira solicitou à corte eleitoral que atendesse a dois pedidos dos militares: realizar uma investigação técnica para o melhor conhecimento do ocorrido na compilação do código-fonte e de seus possíveis efeitos; e promover a análise minuciosa dos códigos binários que efetivamente foram executados nas urnas eletrônicas.
Por outro lado, os militares destacaram que “quanto à fiscalização da totalização, foi constatada, por amostragem, a conformidade entre os BU [boletins de urna] impressos e os dados disponibilizados pelo TSE”.
