El análisis semántico o análisis sensible al contexto es un proceso en la construcción del compilador , generalmente después del análisis , para recopilar la información semántica necesaria del código fuente . [1] Por lo general, incluye la verificación de tipos o se asegura de que una variable se declare antes de su uso, lo que es imposible de describir en la forma extendida de Backus-Naur y, por lo tanto, no se detecta fácilmente durante el análisis.