c++ - 如何使用 Clang 查找所有成员字段读/写？

Question

给定一个 C++ 源代码，我想找到每个函数写入和读取的类字段。使用 Clang 前端执行此操作的最佳方法是什么？

(我不要求对所有步骤进行详细解释；但是，作为一个有效解决方案的起点会很棒。)

到目前为止，我尝试使用 RecursiveASTVisitor 解析语句，但很难跟踪节点连接。另外，我无法弄清楚如何跟踪以下内容:

int& x = m_int_field;
x++;

这显然修改了m_int_field；但是给定一个 Stmt 是不可能知道的；所以 AST 遍历本身似乎不够。

对我来说，一个好处是能够分别计算字段和子字段(例如，访问成员结构的三个字段)。

示例:

typedef struct Y {
    int m_structfield1;
    float m_structfield2;
    Y () {
        m_structfield1 = 0;
        m_structfield2 = 1.0f;
    }
} Y;
class X {
    int m_field1;
    std::string m_field2;
    Y m_field3;
public:
    X () : m_field2("lel") {}
    virtual ~X() {}
    void func1 (std::string s) {
        m_field1 += 2;
        m_field2 = s;
    }
    int func2 () {
        return m_field1 + 5;
    }
    void func3 (Y& y) {
        int& i = m_field1;
        y.m_structfield2 = 1.2f + i++;
    }
    int func4 () {
        func3 (m_field3);
        return m_field3.m_structfield1;
    }
};

应该返回

X::X() -> m_field1 (w), m_field3.m_structfield1 (w), m_field3.m_structfield2 (w)
X::func1(std::string) -> m_field1 (r+w), m_field2 (w)
X::func2() -> m_field1 (r)
X::func3(Y&) -> m_field1 (r+w)
X::func4() -> m_field1 (r+w), m_field3.m_structfield2 (w), m_field3.m_structfield1 (r)

为简单起见，我们可以假设没有继承。

Answer 1

我一直在收集一些 examples of analyzing code with Clang's AST matchers .那里有一个示例应用程序 StructFieldUser，它报告结构的哪些字段被读取或写入，以及每次访问发生在哪个函数中。它与您正在寻找的不同，但它可能是一个有用的引用点。它演示了提取和记录此类信息，并说明了如何将所有部分组合在一起。

一般来说，开始使用 AST 匹配器的好地方是 this post by Eli Bendersky .

要了解可以解决您问题的匹配器，您可以使用 clang-query 进行练习:

$ clang-query example.cpp --    # the two dashes mean no compilation db
clang-query> let m1 memberExpr()
clang-query> m m1

Match #1:

/path/example.cpp:9:9: note: "root" binds here
        m_structfield1 = 0;
        ^~~~~~~~~~~~~~

Match #2:

/path/example.cpp:10:9: note: "root" binds here
        m_structfield2 = 1.0f;
        ^~~~~~~~~~~~~~
...
11 matches.

然后您可以开始使用遍历匹配器连接到其他节点。这使您可以捕获相关的上下文，例如在其中进行引用的函数或类方法。将 bind 表达式添加到节点匹配器将帮助您准确了解匹配的内容。绑定(bind)节点还将提供对回调中节点的访问。

clang-query> let m2 memberExpr(hasAncestor(functionDecl().bind("fdecl"))).bind("mexpr")
clang-query> m m2

Match #1:

/path/example.cpp/path/example.cpp:8:5: note: "fdecl" binds here
    Y () {
    ^~~~~~
/path/example.cpp:9:9: note: "mexpr" binds here
        m_structfield1 = 0;
        ^~~~~~~~~~~~~~
/path/example.cpp:9:9: note: "root" binds here
        m_structfield1 = 0;
        ^~~~~~~~~~~~~~

Match #2:

/path/example.cpp:8:5: note: "fdecl" binds here
    Y () {
    ^~~~~~
/path/example.cpp:10:9: note: "mexpr" binds here
        m_structfield2 = 1.0f;
        ^~~~~~~~~~~~~~
/path/example.cpp:10:9: note: "root" binds here
        m_structfield2 = 1.0f;
        ^~~~~~~~~~~~~~
...

学习如何挑选您需要的确切节点可能需要一些工作。请注意，上面的匹配器不会在 X::X() 中进行初始化。从

看AST

clang-check -ast-dump example.cpp -- 

显示那些节点不是 MemberExpr 节点；它们是 CXXCtorInitializer 节点，因此需要 cxxCtorInitializer 匹配器来获取这些节点。可能需要多个匹配器才能找到所有不同的节点。