エイリアス解析vs.ポインタ解析とポイントツー解析

Question

現在、私は静的コード解析について多くのことを読んでいます。私は本当に違いが何であるか分からないので、私を混乱させる言葉がいくつかあります。

• エイリアス解析
• ポインタ解析
• ポイント-に分析

両者の差は、（もしあれば）は何ですか？

Answer 1

Pointer analysisまたはpoints-to analysisは、 がポインタ変数または式の値に関する情報を決定する静的プログラム分析です。

文章は専門用語で完全に一貫しているわけではありませんが、pointer analysis はalias analysisのほぼ同義語です。 、しかし、pointer/points-to analysisは通常、ヒープオブジェクトをモデル化しようとすると、「 は、変数ポイントがために可能なオブジェクト何？」を要求するのに対し、alias analysisアルゴリズムは「の問題に焦点を当てた変数/式のペアは（同じオブジェクトを指すことができますエイリアス）？」