Exclude top level programs

Author: andrewlock

tracer/src/Datadog.Trace.Tools.Analyzers/Helpers/ISymbolExtensions.cs

@@ -128,4 +128,22 @@ public static bool HasAnyAttribute(this ISymbol symbol, params INamedTypeSymbol?
     {
         return symbol.GetAttributes(attributeTypesToMatch).Any();
     }
+
+    /// <summary>
+    /// Check if the given <paramref name="methodSymbol"/> is an implicitly generated method for top level statements.
+    /// </summary>
+    public static bool IsTopLevelStatementsEntryPointMethod([NotNullWhen(true)] this IMethodSymbol? methodSymbol)
+        => methodSymbol?.IsStatic == true && methodSymbol.Name switch
+        {
+            "$Main" => true,
+            "<Main>$" => true,
+            _ => false
+        };
+
+    /// <summary>
+    /// Check if the given <paramref name="typeSymbol"/> is an implicitly generated type for top level statements.
+    /// </summary>
+    public static bool IsTopLevelStatementsEntryPointType([NotNullWhen(true)] this INamedTypeSymbol? typeSymbol)
+        => typeSymbol is not null &&
+           typeSymbol.GetMembers().OfType<IMethodSymbol>().Any(m => m.IsTopLevelStatementsEntryPointMethod());
 }

tracer/src/Datadog.Trace.Tools.Analyzers/SealedAnalyzer/SealedAnalyzer.cs

@@ -51,7 +51,8 @@ private static void OnCompilationStart(CompilationStartAnalysisContext context)
                     !type.IsAbstract &&
                     !type.IsStatic &&
                     !type.IsSealed &&
-                    !type.HasAnyAttribute(attributesToMatch))
+                    !type.HasAnyAttribute(attributesToMatch) &&
+                    !type.IsTopLevelStatementsEntryPointType())
                 {
                     candidateTypes.Add(type);
                 }

tracer/test/Datadog.Trace.Tools.Analyzers.Tests/SealedAnalyzer/SealedAnalyzerTests.cs

@@ -7,6 +7,7 @@
 using System.Threading;
 using System.Threading.Tasks;
 using Datadog.Trace.Tools.Analyzers.SealedAnalyzer;
+using Microsoft.CodeAnalysis;
 using Microsoft.CodeAnalysis.Testing;
 using Xunit;
 using Test = Microsoft.CodeAnalysis.CSharp.Testing.CSharpCodeFixTest<
@@ -285,6 +286,21 @@ internal sealed class {derivedClass}
         await Verifier.VerifyAnalyzerAsync(source); // no diagnostics expected
     }
 
+    [Fact]
+    public Task TopLevelStatementsProgram()
+    {
+        var test = new Test
+        {
+            CodeFixTestBehaviors = CodeFixTestBehaviors.SkipLocalDiagnosticCheck,
+            TestState =
+            {
+                Sources = { @"System.Console.WriteLine();", },
+                OutputKind = OutputKind.ConsoleApplication,
+            }
+        };
+        return test.RunAsync(); // no diagnostics expected
+    }
+
     [Fact]
     public Task PartialClass_ReportedAndFixedAtAllLocations()
     {