静态代码分析工具通过解析源码构建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"
#include <iostream>
using 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<VarDecl>("unusedVar");
if (VarDecl && !VarDecl->hasAttr<UnusedAttr>()) {
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<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
StringRef file) override {
return std::make_unique<UnusedVarConsumer>(&Finder);
}
bool BeginSourceFileAction(clang::CompilerInstance &CI) override {
Finder.clearMatchers();
return true;
}
private:
MatchFinder Finder;
};3. 主函数入口
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
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 结构和熟练使用匹配表达式。
