首先需搭建LLVM/Clang开发环境并配置CMake，接着通过继承ASTFrontendAction定义MallocFindAction，使用MatchFinder结合AST Matcher查找名为”malloc”的函数调用，匹配结果在MallocCallHandler::run中处理并输出位置信息，主函数利用CommonOptionsParser解析参数后通过ClangTool运行自定义Action，最终实现基于AST的静态分析工具。
想用C++基于LLVM/Clang的LibTooling写一个自己的静态分析工具，核心是利用Clang提供的AST（抽象语法树）遍历和匹配能力来识别代码中的特定模式。整个过程不复杂，但需要理解Clang的架构和LibTooling的基本使用方式。
1. 准备工作：环境与依赖
你需要先准备好LLVM和Clang的开发环境：
安装或编译LLVM + Clang，建议从官方源码构建，确保启用了LLVM_ENABLE_PROJECTS=”clang”和BUILD_SHARED_LIBS=ON你的项目需要链接Clang的库，比如libTooling、libASTMatchers、libFrontend等使用CMake管理项目，并正确配置find_package(LLVM)和find_package(Clang)
提示：可以从LLVM源码的examples/目录找参考，比如HowToUseLibTooling。
2. 核心结构：编写ToolAction与ASTMatcher
LibTooling的核心是定义一个FrontendAction，在其中注册对AST的操作。通常你会继承ASTFrontendAction，并在CreateASTConsumer中返回一个自定义的ASTConsumer。
立即学习“C++免费学习笔记（深入）”；
更推荐使用MatchFinder配合声明式匹配规则（AST Matchers），它能让你用类似正则的方式描述代码结构。
示例：查找所有函数调用表达式中名为 “malloc” 的调用
class MallocCallHandler : public MatchFinder::MatchCallback {public: virtual void run(const MatchFinder::MatchResult &Result) { const CallExpr *Call = Result.Nodes.getNodeAs("mallocCall"); const FunctionDecl *Func = Result.Nodes.getNodeAs("func"); if (Call && Func) { SourceManager &SM = *Result.SourceManager; llvm::outs() << "Found malloc call in function: " <getName() << " at " <getBeginLoc()) << ":" <getBeginLoc()) << "n"; } }};class MallocFindAction : public ASTFrontendAction {public: MallocFindAction() {} std::unique_ptr CreateASTConsumer(CompilerInstance &CI, StringRef file) override { std::unique_ptr Consumer = std::make_unique(); Finder.addMatcher( callExpr(callee(functionDecl(hasName("malloc")))).bind("mallocCall"), &Handler ); return Consumer; } void ExecuteAction() override { // 获取当前编译单元的ASTContext ASTContext &Context = getCompilerInstance().getASTContext(); Finder.matchAST(Context); }private: MallocCallHandler Handler; MatchFinder Finder;};
3. 主函数：集成到Tooling框架
主函数中使用CommonOptionsParser解析命令行参数，然后创建ClangTool并运行你的Action。
int main(int argc, const char **argv) { CommonOptionsParser OptionsParser(argc, argv, llvm::cl::GeneralCategory); ClangTool Tool(OptionsParser.getCompilations(), OptionsParser.getSourcePathList()); MallocFindActionFactory Factory; // 需要包装成Factory return Tool.run(&Factory);}
注意：ClangTool::run需要的是FrontendActionFactory，你可以用newFrontendActionFactory()快速生成。
4. 扩展：实现更复杂的检查逻辑
除了匹配简单调用，你还可以：
匹配特定类型的变量声明：varDecl(hasType(pointerType()))查找未配对的malloc/free，需要结合数据流分析或CFG遍历（更复杂）检查函数参数是否为常量：integerLiteral()绑定多个节点：callExpr(callee(…), hasArgument(0, …))
你可以把匹配器写得非常精确，比如只匹配全局作用域下的函数，或排除系统头文件中的调用：
callExpr( callee(functionDecl(hasName("malloc"))), unless(isExpansionInSystemHeader())).bind("mallocCall")
基本上就这些。写一个基础的静态分析工具，关键在于掌握AST结构、熟悉常用Matcher，并通过回调提取所需信息。后续可以逐步加入诊断报告（DiagnosticBuilder）、修复建议（FixItHint）等功能，变成完整的Clang-Tidy式检查。
以上就是c++++如何使用LLVM/Clang LibTooling_c++编写自己的静态分析工具的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1488198.html
微信扫一扫 
支付宝扫一扫 
