私はCSで修士論文を書いていて、エイリアス分析を扱っています。私が興味を持っているのは、Javaライクな言語向けの手続き内のフロー依存の必須エイリアスと多言語エイリアス分析です。
私はこの主題の基本を詳細に説明しているテキストを探していますが、本当に適切なものを見つけることができませんでした。
私はコンパイラと静的分析に関する多くの教科書を生き延びましたが、そこには何も見つかりませんでした。
私はエイリアス分析が使用されている多くの論文を見つけましたが、それらのほとんどはエイリアス分析が適用される問題に焦点を当てており、エイリアス分析アルゴリズムを詳細に説明していません。他のものはCに焦点を合わせていますが、これは一般的なポインタの複雑さが増したために適切ではありません。
私が見つけた最高のテキストは、WhaleyとRinardによる論文「Compositional Pointer and Escape Analysis for Java Programs」です。それは素晴らしい論文であり、良い出発点ですが、エイリアス分析については特に説明していません。
問題は非常に一般的なようですので、私はそれを解決するために利用できるいくつかの標準的なアルゴリズムがあると期待しました。
誰かがこの主題に関するテキストへのポインタを持っていますか？