Becas concedidas a los departamentos - Universidad Politécnica de ...

Becas colaboración curso 2009/2010Fecha: 30 Julio 2009ResponsableAlpuente Frasnedo, MaríaE-mailalpuente@dsic.upv.esExt.79354Título proyectoCompiladores del futuroValoración proyecto4Descripción proyectoLos compiladores actuales son capaces de detectar e incluso corregir todos los errores sintácticos en tiempode compilación.Para los errores en tiempo de ejecución, que provocan que el programa objeto no haga lo que se espera deél o no lo haga como se esperaba, existen varias técnicas de depuración no muy avanzadas. Las mástradicionales son añadir instrucciones de impresión (print) de valores al código fuente, la inspección del estadode la ejecución en algún momento concreto (breakpoint), la medición de costes (profiling), o incluso ladepuración basada en trazas (tracing). En este proyecto, nos interesamos a técnicas de depuración recientes,como la depuración basada en la fragmentación de programas (program slicing) y su aplicación a la detecciónde errores más avanzadas, como la confidencialidad de programas.Actividades a realizar por el alumnoExisten varias versiones de análisis de fragmentación según se hace estáticamente o dinámicamente, a partirde todos los datos posibles de entrada o de solamente un subconjunto de ellos, modificando el programa opreservando su sintaxis, etc.Proponemos identificar los análisis de fragmentación que mejor se adecúan al problema de la detección defallos de confidencialidad en un programa. En particular, nos interesaremos a los errores de interferencia entrepartes de un programa con niveles de confidencialidad distintos, como por ejemplo el acceso a datos privadosy contraseña en tiempo de ejecución de un usuario con derechos limitados. Otro error que podríamos detectarsería el borrado de información confidencial.Proponemos implementar un prototipo de compilador que calcula todas las sentencias en un programa JAVAque pueden afectar el valor de la variable o evento especificado por un criterio de fragmentación dado un fallode confidencialidad. Ese prototipo será evaluado sobre programas JAVA reales del repositorio SourceForge.Horario15 horas semanales a determinar entre profesor y alumnoPage 264 of 385