制御フローグラフ、Roslynによるイントラ/イントラデータフロー解析

Question

Roslynは、ネイティブCFGの実装や、データフロー間のパブリックまたはインフロー解析を提供していないことを読みました。しかし、それはおそらく本当に古いRoslyn RC2に基づくソースでした。それは今日でもまだそうですか？

私は汚れ分析をしようとしています。つまり、変数を関数に渡した後、または他の変数に割り当てた後に変数をトレースできるはずです。

ご協力いただければ幸いです！ありがとう！

Answer 1

Roslynは、1つの方法で一連のスパンで使用されている変数を理解するための組み込みデータフロー解析が限られています。これは、「抽出メソッド」リファクタリングでどの変数を移動する必要があるかを確認するために使用されます。そうでなければ、もっと大きなことをしたいと思っているなら、あなたはまだ自分の上にいるのです。