análise semântica

Também conhecida como análise sensível ao contexto. A análise semântica é executada no compilador depois que reúne as informações semânticas necessárias do código-fonte (o código que você criou). Ela verifica a consistência do seu código quanto a erros semânticos e executa a verificação de tipo, como garantir que cada operador tenha um operando, ou garantir que uma variável seja declarada antes de seu uso.