基于Clang/LLVM：通过行列号映射C结构体变量至定义的方法

目标代码 #

typedef struct node_s {
    void          *data;
    struct node_s *next;
    struct node_s *prev;
} Node;

struct list_s {
    size_t  size;
    Node   *head;
    Node   *tail;
};

int list_get_first(CC_List *list, void **out)
{
    if (list->size == 0)                       // list->size: 9:14
        return -1;

    *out = list->head->data;                   // list->head->data: 12:13
    return 1;
}

需求说明 #

现有运行时调试信息list->size: 9:14和list->head->data: 12:13（格式为「成员访问表达式: 行号:列号」），需要基于Clang和LLVM工具链自动将这些信息映射到对应的结构体名称及关联字段定义。

可行实现方法 #

1. 基于Clang LibTooling的AST分析 #

编写自定义LibTooling工具，解析代码的抽象语法树（AST）：

• 定位指定行号、列号对应的MemberExpr类型AST节点（结构体成员访问表达式）。
• 从节点中直接提取：
  • 成员所属的结构体类型（如list->size对应struct list_s，list->head->data的data对应struct node_s）。
  • 字段的完整定义信息（名称、数据类型、结构体中的偏移量等）。
• 工具可直接输出结构化的映射结果，例如：list->size → struct list_s::size (size_t)。

2. 解析DWARF调试信息 #

编译代码时添加-g参数生成DWARF调试信息，借助LLVM工具链处理：

• 使用llvm-dwarfdump命令定位行号对应的调试条目（DIE）：

  llvm-dwarfdump -debug-info your_compiled_binary | grep -A 15 "line 9"
  

• 从调试条目中追踪类型引用，找到对应的结构体定义及字段详情；也可以基于LLVM DebugInfo API编写程序自动化解析，批量处理调试信息。

3. Clang静态分析插件 #

开发Clang静态分析插件，在编译阶段遍历AST：

• 记录每个成员访问表达式的行号、所属结构体类型、字段信息，生成映射表。
• 编译时直接输出所需映射关系，无需额外的事后分析步骤。

内容的提问来源于stack exchange，提问作者hddmss