Я делаю статический анализатор для C. Я сделал лексер и парсер с использованием ANTLR, в котором генерируется код Java.
Создает ли ANTLR AST автоматически с помощью параметров {output = AST;}
? Или надо самому сделать дерево? Если да, то как выплюнуть узлы на этом AST?
В настоящее время я думаю, что узлы в этом AST будут использоваться для создания SSA с последующим анализом потока данных для создания статического анализатора. Я на правильном пути?