Estadísticas del PDF: Análisis estático - Tecnología de la Programación

Tecnología de la Programación

Análisis estático

David Cabrero Souto

Facultad de Informática
Universidade da Coruña

Curso 2007/2008

Introducción

No se ejecuta el código
Manual (desarrollador) o automático (herramienta) o mixto
Se examina el código fuente

Sintasis vs semántica
Heurísticas, herramientas de compiladores, métodos formales,
. . .

Ejemplo simple: errores y warnings del compilador

Problema de la no decibilidad

El problema de la parada

Given a description of a program and a ...