Literatura sobre análise de alias

10

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?

Lii
fonte

Respostas:

9

Há um artigo de pesquisa muito recente disponível no Alias ​​Analysis for Object-Oriented Programs .

Ele será publicado em abril no volume de última geração do LNCS (alerta de publicidade gratuito): Alias ​​na programação orientada a objetos : tipos, análise e verificação. Notas de aula em Ciência da Computação, vol. 7850. Dave Clarke, Tobias Wrigstad, James Noble (Eds.)

Dave Clarke
fonte
Isso parece interessante, obrigado. A abordagem que eles descrevem não parece ser adequada para minhas necessidades, mas o artigo pode me levar a outra coisa.
Lii 6/03/2013