首页 > 后端开发 > C++ > 正文

c++如何使用LLVM/Clang LibTooling_c++编写自己的静态分析工具

php中文网
发布: 2025-12-07 08:37:24
原创
943人浏览过
首先需搭建LLVM/Clang开发环境并配置CMake,接着通过继承ASTFrontendAction定义MallocFindAction,使用MatchFinder结合AST Matcher查找名为"malloc"的函数调用,匹配结果在MallocCallHandler::run中处理并输出位置信息,主函数利用CommonOptionsParser解析参数后通过ClangTool运行自定义Action,最终实现基于AST的静态分析工具。

c++如何使用llvm/clang libtooling_c++编写自己的静态分析工具

想用C++基于LLVM/Clang的LibTooling写一个自己的静态分析工具,核心是利用Clang提供的AST(抽象语法树)遍历和匹配能力来识别代码中的特定模式。整个过程不复杂,但需要理解Clang的架构和LibTooling的基本使用方式。

1. 准备工作:环境与依赖

你需要先准备好LLVM和Clang的开发环境

  • 安装或编译LLVM + Clang,建议从官方源码构建,确保启用了LLVM_ENABLE_PROJECTS="clang"BUILD_SHARED_LIBS=ON
  • 你的项目需要链接Clang的库,比如libToolinglibASTMatcherslibFrontend
  • 使用CMake管理项目,并正确配置find_package(LLVM)find_package(Clang)

提示:可以从LLVM源码的examples/目录找参考,比如HowToUseLibTooling

2. 核心结构:编写ToolAction与ASTMatcher

LibTooling的核心是定义一个FrontendAction,在其中注册对AST的操作。通常你会继承ASTFrontendAction,并在CreateASTConsumer中返回一个自定义的ASTConsumer

立即学习C++免费学习笔记(深入)”;

更推荐使用MatchFinder配合声明式匹配规则(AST Matchers),它能让你用类似正则的方式描述代码结构。

示例:查找所有函数调用表达式中名为 "malloc" 的调用

TabTab AI
TabTab AI

首个全链路 Data Agent,让数据搜集、处理到深度分析一步到位。

TabTab AI 292
查看详情 TabTab AI
class MallocCallHandler : public MatchFinder::MatchCallback {
public:
  virtual void run(const MatchFinder::MatchResult &Result) {
    const CallExpr *Call = Result.Nodes.getNodeAs<CallExpr>("mallocCall");
    const FunctionDecl *Func = Result.Nodes.getNodeAs<FunctionDecl>("func");

    if (Call && Func) {
      SourceManager &SM = *Result.SourceManager;
      llvm::outs() << "Found malloc call in function: " << Func->getName()
                   << " at " << SM.getSpellingLineNumber(Call->getBeginLoc())
                   << ":" << SM.getSpellingColumnNumber(Call->getBeginLoc())
                   << "\n";
    }
  }
};

class MallocFindAction : public ASTFrontendAction {
public:
  MallocFindAction() {}

  std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
                                                StringRef file) override {
    std::unique_ptr<ASTConsumer> Consumer = std::make_unique<ASTConsumer>();
    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++编写自己的静态分析工具的详细内容,更多请关注php中文网其它相关文章!

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号