Estoy escribiendo mi tesis de maestría en CS y estoy trabajando con el análisis de alias. Lo que me interesa es el análisis intraprocesal, sensible al flujo de alias y may-may para lenguajes similares a Java.
Estoy buscando textos que describan los conceptos básicos de este tema de manera detallada, pero no he podido encontrar nada realmente adecuado.
He sobrevivido a varios libros de texto sobre compiladores y análisis estático, pero no he encontrado nada allí.
He encontrado muchos artículos donde se usa el análisis de alias, pero la mayoría de ellos se centran en el problema al que se aplica el análisis de alias y no describen los algoritmos de análisis de alias en detalle. Otros se centran en C, lo que no se debe adecuadamente a la complejidad añadida de los punteros generales.
El mejor texto que he encontrado es el Puntero compositivo en papel y el Análisis de escape para programas Java de Whaley y Rinard. Es un documento brillante y un buen punto de partida, pero no trata el análisis de alias específicamente.
El problema parece tan general, por lo que esperaba que hubiera algunos algoritmos canónicos disponibles para resolverlo.
¿Alguien tiene alguna sugerencia para los textos sobre este tema?