百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 热门文章 > 正文

使用 LLVM Clang库开发C++语言工具

bigegpt 2024-08-07 17:36 9 浏览

Clang为编写需要程序语法和语义信息的工具提供了基础设施。主要提供了三种方式来使用Clang库

LibClang

是你要使用的接口。只有当你有充分的理由不使用 LibClang 时才考虑其他接口。

使用 LibClang 的典型例子:

  • Xcode
  • Clang Python 绑定

请使用 LibClang 的场景:

  • 想从 C++ 以外的其他语言与 clang 对接
  • 需要一个稳定的接口,并注意向后兼容
  • 想要强大的高级抽象,比如用游标迭代AST,而不想学习Clang的AST的所有细节。

请不要使用LibClang的场景:

想完全控制Clang的AST

LibClang使用示例

使用LibClang的python绑定,pip install libclang

# test.py

import os
import sys
import clang.cindex
from clang.cindex import Config, TypeKind, CursorKind, Index

def traverse_argument(node, arg):
    pass

def traverse_node(node, depth):
    if node.location.file:
        (path, filename) = os.path.split(node.location.file.name)
        if sys.argv[1] == filename:
            try:
                # CursorKind.CONSTRUCTOR excluded: references there are often stored, so not o_ or io_
                if node.kind in [CursorKind.FUNCTION_DECL, CursorKind.CXX_METHOD]:
                    for arg in node.get_arguments():
                        traverse_argument(node, arg)
                kind = str(node.kind)
                print("%s%s %s (%s)" % ("|   " * depth, kind, node.spelling, node.location.line))
            except:
                return
    for n in node.get_children():
        traverse_node(n, depth + 1)


def main():
    index = clang.cindex.Index.create()
    # 指定编译参数
    compile_args = []
    file = sys.argv[1]
    parser = index.parse(sys.argv[1], args=compile_args)
    cursor = parser.cursor
    # 实现同上
    traverse_node(cursor, 0)
    pass


if __name__ == "__main__":
    main()
// test.cpp
#include <stdio.h>
#include <iostream>
#include <string>
#include <vector>

using namespace std;
namespace Print{
    class Print{
    public:
        int print(std::string text){
            std::cout << text << std::endl;
            return 0;
        }

    };

    int print(std::vector<string> texts){
        for(auto text : texts){
            std::cout << text << std::endl;
        }
        return 0;
    }
}

int main() {

    std::vector<std::string> vts = {"Hello World", "nihao"};
    Print::print(vts);
    Print::Print prt;
    std::string text = {"Hello World"};
    prt.print(text);
    return 0;
}

执行python test.py test.cpp

|   CursorKind.USING_DIRECTIVE  (7)
|   |   CursorKind.NAMESPACE_REF std (7)
|   CursorKind.NAMESPACE Print (8)
|   |   CursorKind.CLASS_DECL Print (9)
|   |   |   CursorKind.CXX_ACCESS_SPEC_DECL  (10)
|   |   |   CursorKind.CXX_METHOD print (11)
|   |   |   |   CursorKind.PARM_DECL text (11)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (11)
|   |   |   |   |   CursorKind.TYPE_REF std::string (11)
|   |   |   |   CursorKind.COMPOUND_STMT  (11)
|   |   |   |   |   CursorKind.CALL_EXPR operator<< (12)
|   |   |   |   |   |   CursorKind.CALL_EXPR operator<< (12)
|   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR cout (12)
|   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (12)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (12)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (12)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR text (12)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR text (12)
|   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (12)
|   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (12)
|   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR endl (12)
|   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR endl (12)
|   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (12)
|   |   |   |   |   CursorKind.RETURN_STMT  (13)
|   |   |   |   |   |   CursorKind.INTEGER_LITERAL  (13)
|   |   CursorKind.FUNCTION_DECL print (18)
|   |   |   CursorKind.PARM_DECL texts (18)
|   |   |   |   CursorKind.NAMESPACE_REF std (18)
|   |   |   |   CursorKind.TEMPLATE_REF vector (18)
|   |   |   |   CursorKind.TYPE_REF std::string (18)
|   |   |   CursorKind.COMPOUND_STMT  (18)
|   |   |   |   CursorKind.CXX_FOR_RANGE_STMT  (19)
|   |   |   |   |   CursorKind.VAR_DECL text (19)
|   |   |   |   |   |   CursorKind.CALL_EXPR basic_string (19)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator* (19)
|   |   |   |   |   |   |   |   CursorKind.CALL_EXPR operator* (19)
|   |   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR __begin1 (19)
|   |   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR __begin1 (19)
|   |   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator* (19)
|   |   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator* (19)
|   |   |   |   |   CursorKind.DECL_REF_EXPR texts (19)
|   |   |   |   |   CursorKind.COMPOUND_STMT  (19)
|   |   |   |   |   |   CursorKind.CALL_EXPR operator<< (20)
|   |   |   |   |   |   |   CursorKind.CALL_EXPR operator<< (20)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR cout (20)
|   |   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (20)
|   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (20)
|   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (20)
|   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR text (20)
|   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR text (20)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (20)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (20)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR endl (20)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR endl (20)
|   |   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (20)
|   |   |   |   CursorKind.RETURN_STMT  (22)
|   |   |   |   |   CursorKind.INTEGER_LITERAL  (22)
|   CursorKind.FUNCTION_DECL main (27)
|   |   CursorKind.COMPOUND_STMT  (27)
|   |   |   CursorKind.DECL_STMT  (29)
|   |   |   |   CursorKind.VAR_DECL vts (29)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (29)
|   |   |   |   |   CursorKind.TEMPLATE_REF vector (29)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (29)
|   |   |   |   |   CursorKind.TYPE_REF std::string (29)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   CursorKind.CALL_EXPR vector (29)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   |   |   |   |   CursorKind.INIT_LIST_EXPR  (29)
|   |   |   |   |   |   |   |   |   |   |   CursorKind.STRING_LITERAL "Hello World" (29)
|   |   |   |   |   |   |   |   |   |   |   CursorKind.STRING_LITERAL "nihao" (29)
|   |   |   CursorKind.UNEXPOSED_EXPR  (30)
|   |   |   |   CursorKind.CALL_EXPR print (30)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR print (30)
|   |   |   |   |   |   CursorKind.DECL_REF_EXPR print (30)
|   |   |   |   |   |   |   CursorKind.NAMESPACE_REF Print (30)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (30)
|   |   |   |   |   |   CursorKind.CALL_EXPR vector (30)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR vts (30)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR vts (30)
|   |   |   CursorKind.DECL_STMT  (31)
|   |   |   |   CursorKind.VAR_DECL prt (31)
|   |   |   |   |   CursorKind.NAMESPACE_REF Print (31)
|   |   |   |   |   CursorKind.TYPE_REF class Print::Print (31)
|   |   |   |   |   CursorKind.CALL_EXPR Print (31)
|   |   |   CursorKind.DECL_STMT  (32)
|   |   |   |   CursorKind.VAR_DECL text (32)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (32)
|   |   |   |   |   CursorKind.TYPE_REF std::string (32)
|   |   |   |   |   CursorKind.CALL_EXPR basic_string (32)
|   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (32)
|   |   |   |   |   |   |   CursorKind.STRING_LITERAL "Hello World" (32)
|   |   |   CursorKind.UNEXPOSED_EXPR  (33)
|   |   |   |   CursorKind.CALL_EXPR print (33)
|   |   |   |   |   CursorKind.MEMBER_REF_EXPR print (33)
|   |   |   |   |   |   CursorKind.DECL_REF_EXPR prt (33)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (33)
|   |   |   |   |   |   CursorKind.CALL_EXPR basic_string (33)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR text (33)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR text (33)
|   |   |   CursorKind.RETURN_STMT  (34)
|   |   |   |   CursorKind.INTEGER_LITERAL  (34)

Clang Plugins

Clang插件允许你在AST上运行额外的动作作为编译的一部分。插件是动态库,在运行时由编译器加载,它们很容易集成到你的编译环境中。

使用Clang插件的典型例子:

  • 为你的项目提供特殊的lint-style警告或错误
  • 从单一的编译步骤中创建额外的构建工件

使用Clang Plugins的场景:

  • 需要你的工具在任何依赖性改变时重新运行
  • 希望你的工具能够生成或破坏一个构建
  • 需要对Clang AST的完全控制

请不要使用Clang插件的场景:

  • 想在你的构建环境之外运行工具
  • 希望完全控制Clang的设置,包括内存中虚拟文件的映射
  • 需要在你的项目中运行一个特定的文件子集,这个子集不一定与任何会触发重建的变化有关

LibTooling

LibTooling是一个C++接口,旨在编写独立的工具,以及集成到运行clang工具的服务中。

使用LibTooling的典型例子:

  • 一个简单的语法检查器
  • 重构工具

使用LibTooling的场景:

  • 想在单个文件或特定的文件子集上运行工具,独立于构建系统之外
  • 希望完全控制 Clang AST
  • 想与 Clang Plugins 共享代码

请不要使用 LibTooling的场景:

  • 想作为依赖关系变化所引发的构建的一部分来运行
  • 希望有一个稳定的接口,这样你就不需要在 AST API 发生变化时修改你的代码了
  • 希望有高水平的抽象,如游标和代码自动完成。
  • 不想用C++编写你的工具

LibTooling 使用示例

下载源码,解压

https://github.com/llvm/llvm-project/releases


进入源码目录,创建build目录并进入,执行cmake命令

cmake -DLLVM_ENABLE_PROJECTS=clang -G "Visual Studio 16 2019" -A x64 -Thost=x64 ..\llvm



找到clang-check工具,基于此文件进行修改,并编译此工具


相关推荐

方差分析简介(方差分析通俗理解)

介绍方差分析(ANOVA,AnalysisofVariance)是一种广泛使用的统计方法,用于比较两个或多个组之间的均值。单因素方差分析是方差分析的一种变体,旨在检测三个或更多分类组的均值是否存在...

正如404页面所预示,猴子正成为断网元凶--吧嗒吧嗒真好吃

吧嗒吧嗒,绘图:MakiNaro你可以通过加热、冰冻、水淹、模塑、甚至压溃压力来使网络光缆硬化。但用猴子显然是不行的。光缆那新挤压成型的塑料外皮太尼玛诱人了,无法阻挡一场试吃盛宴的举行。印度政府正...

Python数据可视化:箱线图多种库画法

概念箱线图通过数据的四分位数来展示数据的分布情况。例如:数据的中心位置,数据间的离散程度,是否有异常值等。把数据从小到大进行排列并等分成四份,第一分位数(Q1),第二分位数(Q2)和第三分位数(Q3)...

多组独立(完全随机设计)样本秩和检验的SPSS操作教程及结果解读

作者/风仕在上一期,我们已经讲完了两组独立样本秩和检验的SPSS操作教程及结果解读,这期开始讲多组独立样本秩和检验,我们主要从多组独立样本秩和检验介绍、两组独立样本秩和检验使用条件及案例的SPSS操作...

方差分析 in R语言 and Excel(方差分析r语言例题)

今天来写一篇实际中比较实用的分析方法,方差分析。通过方差分析,我们可以确定组别之间的差异是否超出了由于随机因素引起的差异范围。方差分析分为单因素方差分析和多因素方差分析,这一篇先介绍一下单因素方差分析...

可视化:前端数据可视化插件大盘点 图表/图谱/地图/关系图

前端数据可视化插件大盘点图表/图谱/地图/关系图全有在大数据时代,很多时候我们需要在网页中显示数据统计报表,从而能很直观地了解数据的走向,开发人员很多时候需要使用图表来表现一些数据。随着Web技术的...

matplotlib 必知的 15 个图(matplotlib各种图)

施工专题,我已完成20篇,施工系列几乎覆盖Python完整技术栈,目标只总结实践中最实用的东西,直击问题本质,快速帮助读者们入门和进阶:1我的施工计划2数字专题3字符串专题4列表专题5流程控制专题6编...

R ggplot2常用图表绘制指南(ggplot2绘制折线图)

ggplot2是R语言中强大的数据可视化包,基于“图形语法”(GrammarofGraphics),通过分层方式构建图表。以下是常用图表命令的详细指南,涵盖基本语法、常见图表类型及示例,适合...

Python数据可视化:从Pandas基础到Seaborn高级应用

数据可视化是数据分析中不可或缺的一环,它能帮助我们直观理解数据模式和趋势。本文将全面介绍Python中最常用的三种可视化方法。Pandas内置绘图功能Pandas基于Matplotlib提供了简洁的绘...

Python 数据可视化常用命令备忘录

本文提供了一个全面的Python数据可视化备忘单,适用于探索性数据分析(EDA)。该备忘单涵盖了单变量分析、双变量分析、多变量分析、时间序列分析、文本数据分析、可视化定制以及保存与显示等内容。所...

统计图的种类(统计图的种类及特点图片)

统计图是利用几何图形或具体事物的形象和地图等形式来表现社会经济现象数量特征和数量关系的图形。以下是几种常见的统计图类型及其适用场景:1.条形图(BarChart)条形图是用矩形条的高度或长度来表示...

实测,大模型谁更懂数据可视化?(数据可视化和可视化分析的主要模型)

大家好,我是Ai学习的老章看论文时,经常看到漂亮的图表,很多不知道是用什么工具绘制的,或者很想复刻类似图表。实测,大模型LaTeX公式识别,出乎预料前文,我用Kimi、Qwen-3-235B...

通过AI提示词让Deepseek快速生成各种类型的图表制作

在数据分析和可视化领域,图表是传达信息的重要工具。然而,传统图表制作往往需要专业的软件和一定的技术知识。本文将介绍如何通过AI提示词,利用Deepseek快速生成各种类型的图表,包括柱状图、折线图、饼...

数据可视化:解析箱线图(box plot)

箱线图/盒须图(boxplot)是数据分布的图形表示,由五个摘要组成:最小值、第一四分位数(25th百分位数)、中位数、第三四分位数(75th百分位数)和最大值。箱子代表四分位距(IQR)。IQR是...

[seaborn] seaborn学习笔记1-箱形图Boxplot

1箱形图Boxplot(代码下载)Boxplot可能是最常见的图形类型之一。它能够很好表示数据中的分布规律。箱型图方框的末尾显示了上下四分位数。极线显示最高和最低值,不包括异常值。seaborn中...