Análisis estático

[danilopedraza]

Se debe poder verificar la congruencia de las operaciones del lenguaje. En particular, se debería verificar:

• Existencia de valores que son invocados
• Congruencia entre parámetros y argumentos de funciones
• Existencia de código muerto:
  • Valores sin usar
  • Sentencias a las que nunca se llega