Estou escrevendo minha tese de mestrado em CS e estou trabalhando com análise de alias. O que me interessa é a análise intraprocedimento, sensível ao fluxo, que pode e deve ser um alias para linguagens do tipo Java.
Estou procurando textos que descrevam o básico deste assunto de maneira detalhada, mas não consegui localizar nada realmente adequado.
Eu sobrevivi a vários livros sobre compiladores e análises estáticas, mas não encontrei nada lá.
Eu encontrei muitos artigos em que a análise de alias é usada, mas a maioria deles está focada no problema ao qual a análise de alias é aplicada e não descreve os algoritmos de análise de alias em detalhes. Outros se concentram em C, o que não é adequado devido à complexidade adicional de indicadores gerais.
O melhor texto que encontrei é o artigo Composicional Pointer e Escape Analysis for Java Programs de Whaley e Rinard. É um artigo brilhante e um bom ponto de partida, mas não discute a análise de alias especificamente.
O problema parece tão geral, então eu esperava que houvesse alguns algoritmos canônicos disponíveis para resolvê-lo.
Alguém tem alguma indicação de textos sobre esse assunto?