J'écris ma thèse de master en CS et je travaille avec l'analyse d'alias. Ce qui m'intéresse, c'est l'analyse intraprocédurale, sensible aux flux et must-alias pour les langages de type Java.
Je recherche des textes qui décrivent les bases de ce sujet de manière détaillée mais je n'ai pas pu trouver quoi que ce soit de vraiment approprié.
J'ai survécu à un certain nombre de manuels sur les compilateurs et l'analyse statique, mais je n'y ai rien trouvé.
J'ai trouvé de nombreux articles où l'analyse des alias est utilisée, mais la plupart d'entre eux se concentrent sur le problème auquel l'analyse des alias est appliquée et ne décrivent pas les algorithmes d'analyse des alias en détail. D'autres se concentrent sur C, ce qui n'est pas approprié en raison de la complexité supplémentaire des pointeurs généraux.
Le meilleur texte que j'ai trouvé est le papier Compositional Pointer and Escape Analysis for Java Programs de Whaley et Rinard. C'est un article brillant et un bon point de départ, mais il ne traite pas spécifiquement de l'analyse des alias.
Le problème semble si général que je m'attendais à ce qu'il y ait des algorithmes canoniques disponibles pour le résoudre.
Quelqu'un at-il des indications sur des textes à ce sujet?