1. Introducción
1.1. Descripción del problema
1.2. Vulnerabilidades
1.3. Análisis estático
1.4. Análisis de Strings basado en gramática
1.5. Objetivos y logros del trabajo de grado
1.6. Overview
2. Vulnerabilidades
2.1. Seguridad y privacidad en aplicaciones web
2.2. Vulnerabilidades de inyección
2.2.1. Vulnerabilidades SQL injection
2.2.2. Vulnerabilidades shell injection
2.2.3. Vulnerabilidades cross-site-scripting
2.2.4. Análisis de las causas de las vulnerabilidades de inyección
2.2.5. Soluciones posibles a las vulnerabilidades de inyección
3. Sistemas de Tipos y GBA
3.1. Sistema de Tipos
3.2. Grammar-Based Analysis (GBA)
3.2.1. Análisis de expresiones string polimórficas
3.2.2. Algoritmo de análisis de expresiones
3.2.3. Resolución con respecto a una gramática de referencia
3.2.4. Algoritmo de parsing de Earley
3.2.5. Constraints de asignación
3.2.6. Resumen
4. GBA para seguridad
4.1. Enfoque
4.2. Modificaciones realizadas
4.3. Modificaciones a futuro
5. Descripción de la implementación
5.1. Arquitectura del sistema
5.2. Estructura de datos usada para normalización
5.3. Ejemplo de uso
6. Prototipo
6.1. Operación del prototipo
6.2. Gramáticas concretas
7. Trabajos relacionados
7.1. IFA
7.2. LAPSE
8. Conclusiones