C符号分析：如何确定执行哪个静态初始化？

2023年7月28日 193次阅读

我想分析一下导致我的共享C库的庞大规模的原因,这个库是由
Linux上的GCC(v.6.1.1)编译的.

readelf -sW libfoo.so告诉我,这是一个特别大的函数,叫做__static_initialization_and_destruction_0,例如：

000000000026c420 10272 FUNC    LOCAL  DEFAULT   12 __static_initialization_and_destruction_0(int, int) [clone .constprop.1774]

我将-Wl,-Map,foo.map添加到CXX标志以生成链接器映射文件.
在该映射文件中查找0x000000000026c420会产生：

.text.startup  0x000000000026c420     0x2825 CMakeFiles/foo.dir/bar.cpp.o

所以现在我知道bar.cpp是导致静态初始化的转换单元,但是所述文件不包含任何静态变量.但是,它包含许多标题.

如何准确找出在这些函数中静态初始化的变量？

最佳答案 编译您的程序：

-g3 -Wa,-adhln

您将获得包含源代码的汇编代码.
在汇编代码中你会发现类似的东西：

_Z41__static_initialization_and_destruction_0ii:

定义静态变量的代码的所有部分都会在那里提到,直到下一次返回(ret).

例

资源：

struct Foo {
    Foo() {}
};

static Foo a;
static Foo b;

编译：

g++ text.cpp -c -O0 -g3 -Wa,-ahln > out.txt

部件：

35              _Z41__static_initialization_and_destruction_0ii:
36                  .LFB3:
3:text.cpp      **** };
4:text.cpp      **** 
5:text.cpp      **** static Foo a;
6:text.cpp      **** static Foo b;
37                      .loc 1 6 0
38                      .cfi_startproc
39 0000 55              pushq   %rbp
40                      .cfi_def_cfa_offset 16
41                      .cfi_offset 6, -16
42 0001 4889E5          movq    %rsp, %rbp
43                      .cfi_def_cfa_register 6
44 0004 4883EC10        subq    $16, %rsp
45 0008 897DFC          movl    %edi, -4(%rbp)
46 000b 8975F8          movl    %esi, -8(%rbp)
47                      .loc 1 6 0
48 000e 837DFC01        cmpl    $1, -4(%rbp)
49 0012 751D            jne .L4
50                      .loc 1 6 0 is_stmt 0 discriminator 1
51 0014 817DF8FF        cmpl    $65535, -8(%rbp)
51      FF0000
52 001b 7514            jne .L4
5:text.cpp      **** struct Foo {
    Foo() {}
};

static Foo a;
static Foo b;

53                      .loc 1 5 0 is_stmt 1 discriminator 3
54 001d BF000000        movl    $_ZL1a, %edi
54      00
55 0022 E8000000        call    _ZN3FooC1Ev
55      00
56                      .loc 1 6 0 discriminator 3
57 0027 BF000000        movl    $_ZL1b, %edi
57      00
58 002c E8000000        call    _ZN3FooC1Ev
58      00
59                  .L4:
60                      .loc 1 6 0 is_stmt 0
61 0031 90              nop
62 0032 C9              leave
63                      .cfi_def_cfa 7, 8
64 0033 C3              ret
65                      .cfi_endproc

这两个

54 001d BF000000        movl    $_ZL1a, %edi
57 0027 BF000000        movl    $_ZL1b, %edi

是你的静态变量.使用c filt,您可以获得正确的变量名称.

构造函数：

call    _ZN3FooC1Ev
点赞