跟踪传递多类级别的变量

Question

我目前正在使用Roslyn的C＃静态源代码分析工具，并且需要一些关于如何实现/跟踪变量传递路径的想法。

假设：

A = Request.Query;
B = A;
C = A;
someSink(B);

我必须能够提供A->B, B->someSink(B)的路径。这是基本思想，但程序应考虑复杂的情况，例如通过多类文件的变量，其他变量，即a = b + c。该项目的范围是一个C＃项目，所以任何使用C＃的库都可以，我目前正在使用Roslyn解析源代码并用它进行分析。