すみません。
どなたかご存知でしたら教えてください。

代入文の集合を解析して変数の依存関係を表すグラフを求めたいと思っています。

例: 代入文の集合が{a = b, c = z, b = y}ならば

a --> b --> y　　c --> z

のようなグラフです。

ノード数は巨大ですがエッジの数は少ないので、できれば各ノードごとに
サクセッサリストを持たせてグラフを表したいのですが、Cのように、
ノードのアドレスを求めてそのリストを作ることは可能でしょうか？

また、こういうグラフの実装についての文献などありましたら
教えていただければ幸いです。