Можно ли проанализировать последовательность доступа ко всем переменным в программе с помощью LibTooling или CFG?

#clang #llvm Вопрос: Я хочу получить последовательность доступа ко всем переменным в процессе выполнения программы с помощью статического анализа. Как я могу проанализировать поток выполнения программы через AST? Или использовать…