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 verificación de tipos o garantiza que se declare una variable antes de su uso 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.