вая исходный код 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)

Для простоты можно предположить, что наследования нет.