2.14.11 PL/Análisis estático

Temas:
Electivo

• Representaciones relevantes de programas, tales como bloques básicos, grafos de control de flujos, cadenas de definiciones y asignación estática simple.
• Indecisión y consecuencias en el analisis de programas.
• Análisis y minúsculas de flujo, tales como la comprobación de tipos y puntero escalable y análisis de alias.
• Análisis sensibles al flujo, como hacia delante y hacia atrás de flujo de datos de análisis.
• Análisis sensibles de camino, como modelo de software de cheques.
• Herramientas y frameworks para definir análisis.
• Rol del análisis estático en la optimización de programas.
• Rol del análisis estático en la verificación parcial y busqueda de errores.

Objetivos de Aprendizaje (Learning Outcomes):
Elective:

1. Definir análisis estáticos útiles en términos de un marco conceptual, como el análisis de flujo de datos [Usar]
2. Explicar por qué los análisis estáticos de tipos no triviales (non-trivial sound static analyses) deben ser aproximados [Familiarizarse]
3. Comunicar por qué un análisis es correcto (sound and terminating) [Usar]
4. Distinguir análisis de tipo: “puede" y “debe" [Familiarizarse]
5. Explicar por qué el aliasing potencial limita el análisis de tipos en los programas y como el análisis de alias puede ayudar [Familiarizarse]
6. Usar los resultados de un análisis estático para una optimización de un programa y/o la correctitud parcial de dicho programa [Usar]