静态代码分析工具通过解析源码构建AST，利用Clang框架实现未使用变量检测，结合ASTMatchers进行规则匹配，最终生成警告信息。
静态代码分析工具可以在不运行程序的前提下，检测出潜在的语法错误、编码规范问题、内存泄漏风险等。在C++中开发一个简单的静态分析工具，核心思路是解析源码并构建抽象语法树（AST），然后基于规则进行模式匹配或语义分析。
理解静态分析的基本流程
一个静态分析工具通常包含以下几个步骤：
- 词法分析：将源代码拆分为有意义的“记号”（tokens），比如关键字、标识符、操作符等。
- 语法分析：根据语言语法规则，把 tokens 组织成抽象语法树（AST）。
- 语义分析：检查类型、作用域、函数调用是否合法等。
- 规则检查：遍历 AST，查找不符合编码规范或存在风险的代码结构。
- 报告生成：输出警告或错误信息，指出文件名、行号和问题描述。
使用 Clang 开发 C++ 静态分析工具
自己从头实现完整的 C++ 解析器非常复杂。推荐基于 Clang/LLVM 框架开发，它提供了完整的 C++ 前端支持，能准确解析现代 C++ 代码，并暴露 AST 接口供自定义分析。
以下是使用 Clang Tooling 实现一个简单检查“未使用的变量”的静态分析工具的步骤：
立即学习“C++免费学习笔记（深入）”；
1. 安装 Clang 开发库
确保系统已安装 clang 和 clang-tools-extra：
# Ubuntu sudo apt-get install clang libclang-dev clang-tools
2. 编写 AST 匹配器（Matcher）
使用 Clang 的 ASTMatchers 来查找特定模式。例如，检测局部变量声明但未被使用：
#include "clang/AST/ASTConsumer.h" #include "clang/AST/ASTContext.h" #include "clang/AST/RecursiveASTVisitor.h" #include "clang/Frontend/CompilerInstance.h" #include "clang/Frontend/FrontendActions.h" #include "clang/Tooling/Tooling.h" #include "clang/Tooling/CommonOptionsParser.h" #include "clang/ASTMatchers/ASTMatchers.h" #include "clang/ASTMatchers/ASTMatchFinder.h" #include "llvm/Support/CommandLine.h" #includeusing namespace clang; using namespace clang::ast_matchers; using namespace clang::tooling; class UnusedVarChecker : public MatchFinder::MatchCallback { public: void run(const MatchFinder::MatchResult &Result) override { const auto *VarDecl = Result.Nodes.getNodeAs ("unusedVar"); if (VarDecl && !VarDecl->hasAttr ()) { SourceLocation Loc = VarDecl->getLocation(); if (!Loc.isValid()) return; llvm::outs() << "警告: 变量 '" << VarDecl->getName() << "' 被声明但未使用 " << Loc.printToString(Result.SourceManager) << "\n"; } } }; class UnusedVarConsumer : public ASTConsumer { public: explicit UnusedVarConsumer(MatchFinder *Finder) { Finder->addMatcher( varDecl(unless(isImplicit()), unless(hasAttr(clang::attr::Kind::Unused)), unless(hasAncestor(functionDecl(isDefinition(), returns(qualType().bind("void")))))).bind("unusedVar"), &Checker); } private: UnusedVarChecker Checker; }; class UnusedVarAction : public ASTFrontendAction { public: std::unique_ptr CreateASTConsumer(CompilerInstance &CI, StringRef file) override { return std::make_unique (&Finder); } bool BeginSourceFileAction(clang::CompilerInstance &CI) override { Finder.clearMatchers(); return true; } private: MatchFinder Finder; };
3. 主函数入口
int main(int argc, const char **argv) {
CommonOptionsParser OptionsParser(argc, argv, llvm::cl::GeneralCategory);
ClangTool Tool(OptionsParser.getCompilations(),
OptionsParser.getSourcePathList());
UnusedVarAction Action;
return Tool.run(newFrontendActionFactory(&Action).get());
}4. 编译与运行
使用 clang++ 和适当的库链接编译：
clang++ -std=c++17 \ $(llvm-config --cxxflags --ldflags --system-libs --libs clangTooling clangBasic) \ unused_var_tool.cpp -o unused_var_tool
测试代码：
// test.cpp
int main() {
int x; // 应触发警告
int y = 10;
return y;
}运行分析：
./unused_var_tool test.cpp输出示例：
警告: 变量 'x' 被声明但未使用 test.cpp:2:7
扩展更多检查规则
你可以基于相同框架添加更多检查：
- 空析构函数：匹配
destructorDecl(isDefinition(), hasBody(compoundStmt(hasZeroStmts()))) - 裸指针动态分配：查找
new Expr且无智能指针包裹的情况 - 异常规范缺失：检查函数是否声明了可能抛出异常但未标注 noexcept 或 throw
- 命名规范：通过正则判断变量名是否符合命名约定（如 m_ 成员变量）
每种规则都可以通过组合 clang::ast_matchers 中的 matcher 实现，再注册到 MatchFinder 即可。
基本上就这些。借助 Clang 提供的强大基础设施，你能以相对较低的成本开发出专业级的 C++ 静态分析功能。关键是理解 AST 结构和熟练使用匹配表达式。
