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