C# 跟踪在多类级别上传递的变量

我目前正在与Roslyn合作开发一个C#静态源代码分析工具，需要一些关于如何实现/跟踪变量传递路径的想法

鉴于：

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

---

我必须能够提供来自

A->B，B->someSink（B）

的路径。这是基本思想，但程序应考虑复杂情况，如通过多类文件的变量、附加变量，即

a=b+c

。该项目的范围是一个C#项目，因此任何使用C#的库都可以，我目前正在使用Roslyn解析源代码并用它进行分析。

如果有一个条件，比如

if（expr）{do（B）；}else{doOther（B）}

。我相信这是停顿问题的一个应用（你如何确定某个地方不会有无止境的循环？）嗯……有了roslyn，我可以以某种方式将

if

和

else

块分为两个不同的情况，并进行我的分析。