动态链接器内省介绍

Clang的结构

• 词法分析器：将输入的源程序字符流转化为单词序列。
• 语法分析器：基于单词序列构建抽象语法树（AST），表示源程序的语法结构。
• 语义分析器：对AST进行语义检查，确保程序符合语言的语义规则。
• 中间表示（IR）生成器：将经过语义分析的AST转换为中间表示形式，便于后续的优化和代码生成。

Clang的扩展性

Clang - tidy与AST

• AST遍历：Clang - tidy使用Clang的AST遍历机制，访问AST中的每个节点。例如，它可以遍历函数定义、变量声明、表达式等节点，以检查代码是否符合特定的规则。
• 规则检查：针对不同的节点类型，Clang - tidy应用相应的检查规则。比如，检查函数参数是否符合特定的命名规范，变量是否在使用前初始化等。
• 修复建议：如果发现代码不符合规则，Clang - tidy可以基于AST提供修复建议。它可以修改AST中的节点属性或结构，然后将修改后的AST重新生成代码，实现代码的自动修复。

1. Lexical Analysis Modules（词法分析模块）
   • llvm::clang::Lexer：词法分析是编译的第一步，Lexer模块将输入的字符流转换为一个个的词法单元（tokens）。例如，将代码中的“int”“main”“(”“{”等识别为不同的token。它为后续的语法分析提供基本的输入单元。其输入是源文件的字符流，输出是词法单元序列。
2. Syntax Analysis Modules（语法分析模块）
   • llvm::clang::Parser：该模块基于词法分析得到的词法单元构建抽象语法树（AST）。它根据C++语言的语法规则，将词法单元组织成层次化的语法结构。比如，将函数定义、变量声明等构建成相应的AST节点。输入是词法单元序列，输出是AST。AST是后续语义分析和其他处理的基础，非常重要。
3. Semantic Analysis Modules（语义分析模块）
   • llvm::clang::Sema：语义分析模块对AST进行语义检查。例如，检查变量是否在使用前声明、函数调用的参数类型是否匹配等。它还会进行符号表的管理，记录变量、函数等符号的信息。输入是AST，输出是经过语义检查和符号信息补充的AST。这个模块确保代码在语义上的正确性，对于代码的正确性验证和重构至关重要。
4. AST Manipulation and Analysis Modules（AST操作和分析模块）
   • llvm::clang::ASTMatchers：这是一个强大的工具，用于匹配和操作AST节点。程序员可以使用它编写规则来查找特定类型的AST节点，例如查找所有的函数调用节点或者特定类型的变量声明节点。这对于代码分析、生成测试用例以及代码重构等任务非常有用。输入是AST，输出是匹配到的AST节点集合。
   • llvm::clang::Rewriter：基于ASTMatchers找到的节点，Rewriter模块可以对AST进行修改，然后重新生成代码。比如，根据特定的规则修改代码的风格或者修复一些常见的代码问题。输入是经过ASTMatchers处理的AST以及修改规则，输出是修改后的代码。
5. Type Checking Modules（类型检查模块）
   • llvm::clang::TypeChecker：负责检查代码中类型的正确性。例如，检查类型转换是否合法、模板实例化是否正确等。它依赖于语义分析得到的符号和类型信息，对代码的类型相关部分进行严格检查。输入是包含符号和类型信息的AST，输出是类型检查的结果，用于保证代码在类型层面的正确性。
6. Diagnostics Modules（诊断模块）
   • llvm::clang::DiagnosticsEngine：当上述模块（如语义分析、类型检查等）发现问题时，DiagnosticsEngine模块负责生成相应的诊断信息（错误或警告）。它可以准确地指出问题在代码中的位置，并提供详细的错误描述，帮助程序员定位和解决问题。输入是检查过程中发现的问题信息，输出是格式化的诊断信息。

1. AST Dump：Clang提供了直接将AST输出到文件的功能。通过命令行参数 -ast-dump 或在代码中使用 ASTContext::dump() 方法，就可以将AST以文本形式输出。这对于理解AST的结构以及后续模块基于AST的操作非常有帮助。
2. 独立模块测试入口：
   • 词法分析器（Lexer）：在Clang的测试框架中，有针对词法分析器的测试代码。虽然不是一个简单的供外部直接调用的入口函数，但通过查看测试代码可以了解如何输入字符流并获取词法单元输出。例如，在Clang的测试目录中，有专门的词法分析测试用例，可以模仿这些用例编写自己的测试程序。
   • 语法分析器（Parser）：同样，在测试框架中有相关测试代码。可以构建一个简单的程序，提供词法单元输入（可以基于词法分析的输出），然后调用语法分析器生成AST。
   • 语义分析器（Sema）：语义分析依赖于前面生成的AST。在Clang的代码库中，有一些示例和测试代码展示了如何使用Sema对AST进行语义分析。可以通过构建合适的AST输入来调用语义分析器。
3. Diagnostics模块：对于诊断模块，它可以独立使用来生成诊断信息。可以构建一个简单的测试环境，模拟发现问题的情况，然后调用 DiagnosticsEngine 来生成诊断消息。例如，手动创建一些错误的AST节点，然后使用DiagnosticsEngine来输出相应的错误信息。
4. 动态库依赖：Clang的各个模块编译成的动态库之间确实存在依赖关系。例如，类型检查模块（TypeChecker）依赖于词法分析、语法分析和语义分析模块提供的信息。在构建测试环境时，需要确保正确链接和初始化这些依赖的模块。
5. 测试框架：Clang使用Google Test作为其测试框架。许多模块的测试代码都遵循Google Test的规范。通过查看这些测试代码，可以了解如何独立测试各个模块，以及如何处理模块之间的依赖关系。

• .interp段：该段保存着字符串，即动态链接器的路径。例如在Linux系统中，通常是/lib/ld-linux.so.2（这是个软链接）。操作系统加载可执行文件时，会依据此段指定的路径寻找并加载动态链接器。
• .dynamic段：此段包含动态链接器所需的基本信息，如程序依赖的共享对象、动态链接符号表的位置、动态链接重定位表的位置、共享对象初始化代码的地址等。通过这些信息，ld.so能够找到并加载程序运行所需的共享库，并完成符号解析和重定位等操作。
• .dynsym段：即动态符号表，保存着与动态链接相关的符号信息，如导入函数和导出函数等，不包含模块内部的私有符号。它与静态链接中的符号表.symtab类似，但仅存储动态链接相关的符号。
• .dynstr段：动态符号字符串表，用于保存.dynsym段中符号的名称。与静态链接中的符号字符串表.strtab相对应，是动态链接下用于辅助动态符号表的字符串表。
• .hash段：也称为符号哈希表，用于加快动态链接时符号的查找过程。通过哈希算法，能够快速定位到所需的符号，提高动态链接的效率。

There are 30 section headers, starting at offset 0x1f7c:

Section Headers:
  [Nr] Name              Type            Addr     Off    Size   ES Flg Lk Inf Al
  [ 0]                   NULL            00000000 000000 000000 00      0   0  0
  [ 1].interp           PROGBITS        00000238 000238 00001c 00   A  0   0  1
  [ 2].note.gnu.build-id NOTE            00000254 000254 000024 00   A  0   0  4
  [ 3].hash             GNU_HASH        00000278 000278 000090 04   A  4   0  8
  [ 4].dynsym           DYNSYM          00000308 000308 0001a8 10   A  5   0  8
  [ 5].dynstr           STRTAB          000004b0 0004b0 00010f 00   A  0   0  1
  [ 6].gnu.version      VERSYM          000005c0 0005c0 000030 02   A  4   0  2
  [ 7].gnu.version_r    VERNEED         000005f0 0005f0 000040 00   A  5   1  8
  [ 8].rela.dyn         RELA            00000630 000630 000078 0c   A  4   0  8
  [ 9].rela.plt         RELA            000006a8 0006a8 000054 0c  AI  4  20  8
  [10].init             PROGBITS        00000700 000700 000023 00  AX  0   0  4
  [11].plt              PROGBITS        00000728 000728 000060 08  AX  0   0  8
  [12].text             PROGBITS        00000788 000788 00129c 00  AX  0   0  16
  [13].fini             PROGBITS        00001a24 001a24 000019 00  AX  0   0  4
  [14].rodata           PROGBITS        00001a40 001a40 00063c 00   A  0   0  8
  [15].eh_frame_hdr     PROGBITS        0000207c 00207c 00003c 00   A  0   0  4
  [16].eh_frame         PROGBITS        000020b8 0020b8 00019c 00   A  0   0  4
  [17].init_array       INIT_ARRAY      00003c68 003c68 000008 00  WA  0   0  8
  [18].fini_array       FINI_ARRAY      00003c70 003c70 000008 00  WA  0   0  8
  [19].jcr              PROGBITS        00003c78 003c78 000008 00  WA  0   0  8
  [20].dynamic          DYNAMIC         00003c80 003c80 0001c0 08  WA  5   0  8
  [21].got              PROGBITS        00003e40 003e40 000028 08  WA  0   0  8
  [22].got.plt          PROGBITS        00003e68 003e68 000040 08  WA  0   0  8
  [23].data             PROGBITS        00003ea8 003ea8 000028 00  WA  0   0  8
  [24].bss              NOBITS          00003ed0 003ed0 000010 00  WA  0   0  8
  [25].comment          PROGBITS        00000000 003ed0 00003a 00      0   0  1
  [26].shstrtab         STRTAB          00000000 003f0a 00010b 00      0   0  1
  [27].symtab           SYMTAB          00000000 003f40 0008c0 10      28  59  8
  [28].strtab           STRTAB          00000000 004800 0004f4 00      0   0  1
  [29].debug_aranges    PROGBITS        00000000 004cf4 000048 00      0   0  8

功能

• 符号解析：当可执行文件被加载到内存中时，ld - linux.so.2负责解析其中的符号引用，并将它们与相应的动态链接库中的符号进行匹配，让程序能正确找到并调用库中的函数和变量。
• 库加载：负责加载程序所需的动态链接库，并将它们映射到内存中，使程序可以使用这些库中的功能。
• 重定位：使用重定位技术来修正程序中的绝对地址，确保程序能够正确地访问内存中的各个函数和变量，适应不同的内存布局。

工作原理

• 加载共享库：在程序运行时，负责将程序所依赖的共享库加载到内存中，使程序能够找到并使用这些库中的函数和变量。
• 符号解析与重定位：解析程序中的符号引用，将其与共享库中的符号进行匹配，并完成重定位操作，确保程序能够正确地访问内存中的函数和变量。
• 搜索路径管理：按照一定的顺序搜索动态链接库的路径，包括环境变量指定的路径、缓存文件以及默认目录等，以找到程序所需的共享库。