我有一个局部静态变量，如下所示：
void function(void) {
static unsigned char myVariable = 0;
...
我使用 readelf 转储符号表，如下所示：
readelf -s myprogram.elf
我得到了符号表，其中包含myVariable以下内容：
...
409: 00412668 1 NOTYPE LOCAL DEFAULT 16 myVariable.9751
...
我的问题是：变量名称和点后面的数字是什么意思？有没有关于readelf输出格式的详细文档？手册页不包含有关符号表格式的信息，我找不到任何关于此的信息。（我正在使用 Xilinx 的 ARM GNU 工具，但我想，这对于其他平台也是一样的）谢谢！