Eu tenho uma variável estática local, algo assim:
void function(void) {
static unsigned char myVariable = 0;
...
Eu despejo a tabela de símbolos usando readelf da seguinte forma:
readelf -s myprogram.elf
e recebo a tabela de símbolos, que contém myVariableo seguinte:
...
409: 00412668 1 NOTYPE LOCAL DEFAULT 16 myVariable.9751
...
Minha pergunta é: o que significa o número após o nome da variável e o ponto? E existe alguma documentação detalhada sobre o formato de saída do readelf? A página man não contém informações sobre o formato da tabela de símbolos e não consigo encontrar nada sobre isso. (Estou usando as ferramentas ARM GNU da Xilinx, mas acho que isso é o mesmo para outras plataformas também) Obrigado!