罗斯林分析仪 - 检查特定类型的零引用

Question

我正在检查是否有可能为我们的系统构建自定义Roslyn分析仪。

该解决方案在.NET框架4.8中。我从教程开始如何编写CSHARP Analyzer代码修复并从那里开始。

我要检查的第一种情况是，当程序员使用特定服务的值时，他们不得假设结果不是null。

采用此服务定义：

public interface IConfigurationService
{
   Task<IConfiguration> GetConfiguration(string clientId);
}

以及要分析的代码示例：

public async Task DoSomeTask(string clientId)
{
   var configuration = await _configurationService.GetConfiguration(clientId);
   
   // This line should raise a warning because this specific client may not be configurated
   var serviceUri = configuration.ServiceUri;
   DoSomeSubTask(serviceUri);
}

到目前为止，我已经知道了，

public override void Initialize(AnalysisContext context)
{
   context.ConfigureGeneratedCodeAnalysis(GeneratedCodeAnalysisFlags.None);
   context.EnableConcurrentExecution();

   // The goal is to target the variable declaration (var configuration = ...)
   context.RegisterSyntaxNodeAction(
      AnalyzeDecalaration, 
      SyntaxKind.LocalDeclarationStatement
   );
}

private static void AnalyzeDecalaration(SyntaxNodeAnalysisContext context)
{
   // Check for the type of the variable and exit if it is not 'IConfiguration'
   var symbolInfo = context.SemanticModel.GetSymbolInfo(localDeclaration.Declaration.Type);
   var typeSymbol = symbolInfo.Symbol;
   if (typeSymbol.Name != "IConfiguration") 
   {
      return;
   }

   // Stuck here. I'm pretty sure dataFlowAnalysis is the key, but I can't figure how to use it
   var dataFlowAnalysis = context.SemanticModel.AnalyzeDataFlow(localDeclaration);
   var variable = localDeclaration.Declaration.Variables.Single();
   ISymbol variableSymbol = context.SemanticModel.GetDeclaredSymbol(
      variable, 
      context.CancellationToken
   );
}

所以我就是我的位置。我已经针对目标类型的变量声明。不多。

由于这是特定类型的特定案例，因此分析不必很花哨。对于典范，我不需要检查数组中iconfiguration的插入，这不是我们代码库中的事情。基本上是无效检查的Juste属性访问。