DWARF调试信息格式：编译单元与子程序解析

1. DWARF调试信息格式概述

DWARF是一种广泛应用于编译器领域的调试信息标准格式，它为调试器提供了源代码与机器码之间的映射关系。在软件开发过程中，当我们需要调试一个程序时，调试器能够显示变量值、设置断点、单步执行等，这些功能都依赖于DWARF格式存储的调试信息。

DWARF通过树形结构组织调试信息，其中每个节点称为调试信息条目(DIE)。每个DIE包含一个标签(Tag)和一组属性(Attribute)，标签定义了条目的类型，而属性则存储具体的信息。这种结构化的表示方式使得调试器能够高效地查询和解析程序的各种信息。

提示：DWARF的全称是"Debugging With Arbitrary Record Formats"，虽然名称中包含"Arbitrary"，但其格式实际上是高度结构化和标准化的。

2. 编译单元条目详解

2.1 编译单元的基本概念

在DWARF中，编译单元(Compilation Unit)是最顶层的组织单位，对应着一个源代码文件经过编译后产生的目标文件中的调试信息。每个编译单元由一个DW_TAG_compile_unit条目描述，它包含了该编译单元的所有相关信息。

编译单元通常代表一个源文件（可能包含多个头文件）编译后生成的代码和数据。在C/C++项目中，每个.c或.cpp文件通常对应一个编译单元。编译单元条目作为调试信息树的根节点，包含了该单元内所有其他调试信息的引用。

2.2 编译单元的关键属性

编译单元条目包含多个重要属性，每个属性都描述了编译单元的某个特定方面：

1. DW_AT_low_pc和DW_AT_high_pc：这两个属性定义了编译单元生成的机器指令的地址范围。low_pc是第一条指令的地址，high_pc是最后一条指令之后的位置。这两个属性表明该编译单元生成的代码在内存中是连续的。

2. DW_AT_name：记录编译单元对应的主源文件路径。这个路径可以是绝对路径或相对路径，取决于编译器的设置。

3. DW_AT_language：标识编译单元的源语言类型，如C、C++、Fortran等。这是一个枚举值，常见的取值包括：

   • DW_LANG_C89：ANSI C
   • DW_LANG_C：K&R C
   • DW_LANG_C_p