C#静态分析：检测静态方法对引用对象的修改及副作用

我有一个包含若干辅助函数的静态类，需要确认这些函数属于严格输入/输出型（无副作用）还是存在副作用，请问有没有有效的自动化分析方法？

示例代码如下：

// 我认为该方法不会产生副作用
public static decimal GetRetailValue(ExpressionContext context, object[] validationParameters)
{
     if (context == null)
     {
          return 0;
     }
     return 5;
}

// 我认为该方法会产生副作用，因为修改了context.CarValue
// 注：原代码逻辑存在空引用风险，此处修正为context != null才进入分支
public static decimal GetRetailValueOfCarToday(ExpressionContext context, object[] validationParameters)
{
     if (context != null)
     {
          if(context.carValueToday != null)
          {
               context.CarValue = context.CarValueToday;
          }
          return context.CarValue;
     }
     return 5;
}

可行的自动化分析方法： #

• 自定义Roslyn静态分析器
  基于.NET的Roslyn编译平台编写自定义规则：遍历方法的语法树，检测是否存在对引用类型输入参数的字段/属性赋值操作，或是调用会修改外部状态的方法。比如示例中context.CarValue = ...这类赋值行为，Roslyn可以精准捕获并标记方法存在副作用，也可以基于现有分析器框架快速扩展规则。

• Code Contracts契约验证
  使用微软Code Contracts工具，给无副作用的方法标记[Pure]特性。工具会在编译时验证方法是否符合纯函数要求：不修改输入参数状态、不依赖可变全局状态、相同输入返回相同输出。如果方法内部存在修改参数或全局状态的操作，会直接抛出编译警告或错误。

• 自动化单元测试校验
  编写批量单元测试用例：调用目标方法前，记录输入引用类型参数的所有可修改状态（比如context.CarValue的初始值）；调用方法后对比状态是否变化，若状态改变则判定方法存在副作用。这种方式可以集成到CI流程中，自动验证所有辅助函数。

• IL指令级分析
  解析方法的IL代码，检查是否包含stfld（实例字段赋值）、stsfld（静态字段赋值）这类修改状态的指令，或是调用非纯方法。可以用dnSpy手动排查，也可以编写程序集扫描工具自动检测这类指令。

注意事项： #

• 要覆盖间接副作用：比如方法内部调用了另一个有副作用的方法，需要递归分析被调用方法的行为。
• 全局静态字段的修改也是典型副作用，分析规则需包含对静态成员赋值的检测。

内容的提问来源于stack exchange，提问作者Joe Meyer