Es ist fertig! PVS-Studio unterstützt die Analyse von Projekten für .NET 5

Am 10. November 2020 wurde eine neue Version von .NET Core mit dem offiziellen Namen .NET 5 veröffentlicht. Die aktualisierte Plattform bietet viele verschiedene Funktionen. Zum Beispiel können C # -Entwickler die Innovationen von C # 9 nutzen: Datensätze, relationaler Mustervergleich usw. Leider gibt es auch Nachteile - es ist unmöglich, ein solches Projekt mit PVS-Studio korrekt zu analysieren. Nun ... das war vorher nicht möglich. Schließlich liegt dieses Problem nun in der Vergangenheit - die nächste Version von PVS-Studio 7.13 wird die Analyse von Projekten unterstützen, die sich auf .NET 5 konzentrieren!

Aka .NET Core 4

.NET 5 , , .NET Core 3.1. ".NET", Microsoft , . – 3 preview- .NET 6. , 3.1, 5? , , , Windows 8.1 Windows 10 :)

, 4 , .NET Framework .NET. , "Entity Framework Core 5.0", .NET 5, "Core". , Core Framework "Entity Framework 5.0".

.NET 5 . , C# . , , . , , . C# 9 .

.NET 5 .

PVS-Studio .NET 5

.NET 5 . , . – , PVS-Studio. :( , -, , .NET 5.

Windows, Linux macOS. Windows , , .NET Framework 4.7.2. Linux macOS .NET 5 ( .NET Core 3.1).

Linux macOS .NET 5?

Linux/macOS .NET Core 3.1 .NET 5. , , , . , , .

, .NET Core (, , .NET 5), PVS-Studio SDK . - , .NET 5 SDK "System.Runtime" 5. , .NET Core 3.1, "System.Runtime" 3.1. – SDK .

.NET Core .NET 5 :).

.NET 5 . , PVS-Studio Roslyn MSBuild. , C# 9. ,

user = user with { Name = "Bill" }

      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

, WithExpression. , user . , , . :(. , . .

. , , . – . , . , .

– top-level statements. C#- , , , . . . C#- ... , , . , :)

, , – init-. V3140.

, . RunUO:

private bool m_IsRewardItem;

[CommandProperty( AccessLevel.GameMaster )]
public bool IsRewardItem
{
  get{ return m_IsRewardItem; }
  set{ m_IsRewardItem = value; InvalidateProperties(); }
}

private bool m_East;

[CommandProperty( AccessLevel.GameMaster )]
public bool East                                       // <=
{
  get{ return m_East; }
  set{ m_IsRewardItem = value; InvalidateProperties(); } 
}

      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

PVS-Studio: V3140 Property accessors use different backing fields. WallBanner.cs 77

V3140 , 2 – get set. init . – ! , .

?

! , , , -... , ? , – ! . , , ( ) .NET 5 !

PVS-Studio. , . PVS-Studio .

, : Nikita Lipilin. Finally! PVS-Studio Supports .NET 5 Projects.