Inspetor de bibliotecas estáticas .a

Como usar

1. Solte um ficheiro .a sobre a caixa. Nada é enviado: o arquivo é lido pelo JavaScript da página.
2. Veja no resumo a convenção (// do GNU ou #1/ do BSD), o tipo de índice de símbolos e quantos bytes do ficheiro são índice e tabela de nomes em vez de código.
3. Comece pelo painel do índice em face dos membros. Uma linha verde quer dizer que a cache e os membros concordam; uma vermelha nomeia o símbolo e o membro que discordam.
4. Percorra a tabela de membros para ver deslocamentos, tamanhos e datas guardadas: uma compilação reprodutível grava data, uid e gid a zero, por isso qualquer outro valor indica um arquivo feito com ar U.
5. Abra um membro em "símbolos por membro" para ver o que define e o que ainda precisa, e use a lista de duplicados para explicar um erro de ligação por símbolo duplicado.

Perguntas frequentes

O que significa "archive has no index; run ranlib to add one"?

Que o arquivo foi criado sem a sua tabela de símbolos, normalmente com ar rcS, acrescentando com ar q, ou por uma ferramenta que escreve o formato ar por conta própria. Sem índice, o linker teria de abrir todos os membros para saber o que cada um define, por isso a maioria recusa e pede ranlib, que acrescenta um primeiro membro chamado / com o mapa. Correr ranlib sobre o ficheiro, ou ar s, resolve no sítio, e ar rcs constrói-o logo de início. Esta ferramenta mostra "índice de símbolos: nenhum" nesse caso, e a lista de membros continua perfeitamente legível, porque o índice é um acelerador e não faz parte dos membros.

Como pode o índice estar errado se o ar o mantém atualizado?

O ar reconstrói o índice sempre que reescreve o arquivo, por isso os comandos habituais são seguros. O índice fica desatualizado quando outra coisa mexe no ficheiro: um script que o remenda no sítio, um sistema de compilação que acrescenta com ar q e nunca corre o ranlib, um arquivo montado à mão ou por uma ferramenta que escreve o formato, ou um copiado entre máquinas e editado. Como o índice guarda um deslocamento em bytes e não um nome, um membro que muda sem o índice ser refeito deixa uma entrada a apontar para bytes que já não definem aquele símbolo. O linker confia no índice, por isso a falha aparece muito longe, como uma referência indefinida a um símbolo bem visível no nm.

Qual é a diferença entre um .a do GNU e um do BSD, e o que é um arquivo fino?

Apenas a forma de guardar nomes com mais de 16 caracteres e o índice de símbolos. O GNU põe os nomes longos num membro // e refere-os por deslocamento, e chama ao índice / ou /SYM64/ na forma de 64 bits; o BSD escreve #1/comprimento no campo do nome e guarda o nome nos primeiros bytes dos dados do membro, e chama ao índice __.SYMDEF ou __.SYMDEF SORTED. Os dados do membro começam, portanto, num sítio diferente em cada formato, e é essa a maneira mais comum de ler mal um arquivo. Um arquivo fino é uma terceira variante, criada por ar T: começa por !<thin> e guarda só cabeçalhos, deixando os dados nos .o originais do disco, pelo que mover apenas o .a o parte.

Porque é que um membro lista símbolos indefinidos? A biblioteca está partida?

Não, é normal e é justamente o objetivo da listagem. Cada membro é um ficheiro objeto separado, e um símbolo indefinido é um que ele espera que outro membro, outra biblioteca ou o próprio programa forneça. Lê-los em conjunto revela a ordem de dependência dentro do arquivo, o que importa porque uma biblioteca estática é procurada e não fundida: o linker percorre a linha de comandos uma só vez, puxa apenas os membros que resolvem algo indefinido naquele momento, e um membro puxado tarde pode deixar indefinido um símbolo que uma biblioteca anterior teria fornecido. É por isso que a ordem de ligação importa e por isso existe o --start-group.

Porque é que só alguns símbolos repetidos são reportados como duplicados?

Porque só alguns partem uma ligação. Uma definição forte do mesmo nome em dois membros é o clássico erro de símbolo duplicado: o segundo membro que o linker puxar colide com o primeiro. Mas as definições fracas (letras W e V do nm), os símbolos comuns (C) e os únicos do GNU (u) existem para se repetir: funções inline, templates e tabelas virtuais de C++ são emitidas em cada objeto que as usa e o linker guarda uma cópia. Uma libstdc++.a real tem milhares dessas repetições e nenhum erro, por isso listá-las todas enterraria a que interessa. Aqui só se recolhem os nomes com definição forte em mais do que um membro.

O arquivo é enviado para algum lado?

Não. É lido com a File API do navegador e analisado pelo JavaScript da página; não existe servidor para onde o enviar. Com uma biblioteca estática isso conta mais do que com outros ficheiros, porque um .a de um fornecedor ou de uma compilação interna é muitas vezes algo que não se pode enviar. Pode desligar a rede depois de a página carregar e a ferramenta continua a funcionar; o ficheiro nunca sai do separador.

Ferramentas relacionadas