问罗斯林数据流分析. WrittenInside和位置字段的模糊值

EN

最近，我开始使用Roslyn提供的数据流分析API，并在WrittenInside字段和Locations字段中找到了一些模糊的值。

考虑以下主要方法中的代码片段

1. int[] lcolSample = new int[10] { 0, 1, 2, 3, 4, 0, 1, 2, 3, 4};
2. for (int lintCount1 = 0; lintCount1 < 10; lintCount1++)
3. {
4.     Prog1(lintCount1);
5.     int[] lcolSample1 = new int[10] { 0, 1, 2, 3, 4, 0, 1, 2, 3, 4 };
6.     lintCount3 = lintCount3 + 100;
7.     lintCount1 = lintCount1 + 2;
8.     lcolSample[lintCount1-1] = lcolSample1[lintCount1] + 100;
9. }

1. 如果在for循环节点上执行DFA，则生成的数据流分析对象永远不会将lcolSample[]在WrittenInside字段中显示为在for循环中写入的符号。原因是，它被声明在执行数据流分析的节点之外。但是，ReadInside字段显示了这个符号。是否有任何方法可以知道在给定节点内修改/写入的所有符号，即使它们是在执行DFA的节点之外声明的？
2. 变量lintCount1编写两次(语句2和7)，并读取两次。lintCount1上的Locations属性只显示声明它的位置(语句2)。有什么方法可以找到写lintCount1的所有位置吗？查找该符号的所有引用将给出使用该符号的所有位置，但我需要该符号被写入但不被读取的位置。

这是我在这个论坛上的第一个问题。如果以上所提供的信息不够，请询问其他细节。提前谢谢..。