I am writing my master's thesis in CS and I am working with alias analysis. The thing that I am interested in is intraprocedural, flow sensitive must- and may-alias analysis for Java-like languages.
I am searching for texts that describe the basics of this subject in a detailed way but has been unable to locate anything really suitable.
I have survived a number of text books on compilers and static analysis but not found anything there.
I have found many papers where alias analysis is used, but most of them are focused on the problem to which alias analysis is applied and do not describe the alias analysis algorithms in detail. Others focus on C which is not suitably because of the added complexity of general pointers.
The best text I have found is the paper Compositional Pointer and Escape Analysis for Java Programs by Whaley and Rinard. It is a brilliant paper and a good starting point but it doesn't discuss alias analysis specifically.
The problem seems so general so I expected there to be some canonical algorithms available to solve it.
Does anyone have any pointers to texts on this subject?