Estoy haciendo un analizador estático para C. He realizado el lexer y el analizador utilizando ANTLR en el que se genera el código Java.

¿ANTLR crea el AST para nosotros automáticamente poroptions {output=AST;}? ¿O tengo que hacer el árbol yo mismo? Si es así, ¿cómo escupir los nodos en ese AST?

Actualmente estoy pensando que los nodos en ese AST se usarán para hacer SSA, seguido de un análisis de flujo de datos para hacer el analizador estático. ¿Estoy en el camino correcto?