El análisis semántico es un proceso en un  compilador  (de un  lenguaje de programación se comprueban  los errores semánticos (por ejemplo, dividir un entero por otro número real ( float estándar ANSI código fuente  y se recopila la información para la siguiente fase de la compilación, que es la  generación  del  código objeto .

Análisis semántico y sintáctico

El análisis semántico procesa la entrada sintáctica y la transforma en una representación más simple, más adecuada para la generación de código. Esta capa del compilador también se encarga de analizar el uso de identificadores y vincular cada uno a su declaración. En este sentido, verifica si el programa respeta las reglas de visibilidad y portabilidad de los identificadores. Además, se espera que el proceso de compilación verifique si cada expresión definida tiene un tipo apropiado según las reglas del lenguaje.

El objetivo del análisis semántico es trabajar a este nivel de interrelación entre las distintas partes del programa. Las tareas básicas que se realizan durante el análisis semántico incluyen la verificación de tipos, la verificación del flujo de control y la verificación de la unicidad de las declaraciones de variables. Dependiendo del lenguaje de programación, pueden ser necesarias otras comprobaciones.