pointers - ポインターを使用する関数の SSA の生成

Question

この論文で説明されているアルゴリズムを使用して、命令型プログラミング言語を管理標準形式 (ANF) に変換しようとしています: http://www.sciencedirect.com/science/article/pii/S1571066105825964

論文では、ザダルノフスキーら。SSA プログラムを ANF 形式に変換するアルゴリズムを説明してから、現在は興味のない最適化アルゴリズムを提示します。

問題は、ポインター変数を SSA 形式に変換するにはどうすればよいかということです。