Analisador semântico usa a AST verificas diversos erros, como o de escopo você define as regras e como analisa-las (não é bem formalizado) possui uma tabela de simbolos, contendo dados como simbolo, tipo, valor, escopo, etc.