关于获取Clang编译器中间结果及AST等信息的技术问询

嘿，看起来你正打算搞一个自定义的C代码规范检查工具，这个方向真的很实用！你提到的解析C代码、理清变量上下文（比如是全局还是局部）这些确实是难啃的骨头，不过好在Clang和GCC早就给我们准备了现成的工具链，完全不用从零开始写解析器～

一、获取AST（抽象语法树）：搞定代码结构与上下文的核心 #

Clang在AST输出上做得特别友好，直接用下面的命令就能跳过编译，输出完整的AST结构：

clang -Xclang -ast-dump -fsyntax-only your_code.c

这个输出会把代码拆成层级清晰的节点，比如函数定义、变量声明、循环/条件语句、赋值操作等都一目了然，而且每个变量节点会明确标注它的作用域（是全局还是局部，一眼就能看出来）。如果想要方便程序自动化解析的结构化格式，换成JSON输出就行：

clang -Xclang -ast-dump=json -fsyntax-only your_code.c

用这个命令得到的JSON数据，你可以直接写脚本或者程序来遍历，检查命名规范、const修饰符的使用等规则。

二、处理预处理器相关内容：#define、注释这类都能拿到 #

如果你需要检查#define、注释这些预处理器层面的规范，用Clang的预处理输出就够了：

clang -E your_code.c

这个命令会输出预处理后的完整代码——所有#include的头文件会被展开，#define的宏会被替换，而且注释也会完整保留（默认行为），完全满足你检查预处理器指令合规性的需求。

三、其他中间结果与映射信息 #

1. LLVM IR：更底层的结构化中间代码 #

如果需要比AST更贴近编译过程的中间表示，可以生成LLVM IR：

clang -S -emit-llvm your_code.c

执行后会生成一个.ll文件，里面包含了函数、变量的类型、作用域等详细信息，也能帮你分析代码结构。

2. 符号表/映射信息 #

如果要单独查看变量的全局/局部属性，除了AST之外，还可以先编译成目标文件，再用符号工具查看：

# 先编译生成目标文件
clang -c your_code.c
# 查看符号表，全局符号是大写，局部符号是小写
llvm-nm your_code.o

这个输出能快速帮你区分变量、函数的作用域类型。

3. 汇编代码（可选） #

如果需要看汇编级的中间结果，直接用clang -S your_code.c就能生成.s格式的汇编文件，不过这个可能对你的代码规范检查帮助不大，除非你要关注某些底层编码规范。

四、如果用GCC的替代方案 #

要是你更倾向于用GCC，它也能提供类似的能力：

• 输出AST：用gcc -fdump-tree-all your_code.c，会生成一堆后缀为.c.*的文件，其中.c.tu是完整的翻译单元AST，.c.decl是声明信息（不过格式比Clang的AST要繁琐一些）。
• 预处理：gcc -E -C your_code.c（加-C是为了保留注释）。
• 符号表：用nm your_code.o查看目标文件的符号信息。

五、进阶技巧：直接用Clang工具链写检查工具 #

其实你完全不用自己解析AST文本或者输出结果，Clang提供了LibTooling框架，你可以直接写C++代码来操作AST节点——比如遍历所有变量声明，检查命名是否符合规范；检查函数参数有没有正确使用const修饰；甚至可以扫描注释格式是否达标。这种方式比自己解析输出文本高效得多，也是业内做自定义代码规范检查的主流方案。

内容来源于stack exchange