VS2015：实时代码分析器：如何推断＆＃34;可能＆＃34;变量值还是调用堆栈？

Question

我想使用实时代码分析器来防止其他开发人员在编写特定方法时出错。

有问题的方法返回枚举的通用列表。此列表是不可变的（但不是这样声明）。如何创建自定义实时代码分析器，如果有人试图添加到该列表，将导致编译器错误？

实施例

List<MyEnum> list1 = GetList_Mutable();
List<MyEnum> list2 = GetList_Immutable();
...
list1.Add(another_element)  // This is OK and should be allowed 
list2.Add(another_element)  // Live code analyzer should catch that

换句话说 - Live Code Analyzer可以访问＆＃34;可能＆＃34;调用堆栈或推断特定值来自何处？