我正在用CS撰写硕士学位论文，并且正在使用别名分析。我感兴趣的是针对类Java语言的过程内，流量敏感的必须和可能混淆分析。
我正在搜索详细描述该主题基础知识的文本，但无法找到真正合适的内容。
我在许多关于编译器和静态分析的教科书中幸存下来，但在那儿什么也没找到。
我发现有许多使用别名分析的论文，但是大多数论文都集中在应用别名分析的问题上，并且没有详细描述别名分析算法。其他人则把重点放在C上，因为通用指针增加了复杂性，因此C不合适。
我发现的最好的文本是Whaley和Rinard撰写的论文Java程序的成分指针和转义分析。这是一篇很棒的论文，也是一个很好的起点，但是没有专门讨论别名分析。
这个问题似乎太普遍了，因此我希望可以使用一些规范的算法来解决。
是否有人对这个主题的文本有任何指示？