New rule S6932: Use model binding instead of reading raw request data

analyzers/rspec/cs/S6932.json

@@ -0,0 +1,25 @@
+{
+  "title": "Use model binding instead of reading raw request data",
+  "type": "CODE_SMELL",
+  "status": "ready",
+  "remediation": {
+    "func": "Constant\/Issue",
+    "constantCost": "5min"
+  },
+  "tags": [
+    "asp.net"
+  ],
+  "defaultSeverity": "Major",
+  "ruleSpecification": "RSPEC-6932",
+  "sqKey": "S6932",
+  "scope": "Main",
+  "quickfix": "infeasible",
+  "code": {
+    "impacts": {
+      "MAINTAINABILITY": "HIGH",
+      "RELIABILITY": "MEDIUM",
+      "SECURITY": "MEDIUM"
+    },
+    "attribute": "FOCUSED"
+  }
+}

analyzers/src/SonarAnalyzer.CSharp/Facade/CSharpTrackerFacade.cs

@@ -24,7 +24,7 @@ namespace SonarAnalyzer.Helpers.Facade
 {
     internal sealed class CSharpTrackerFacade : ITrackerFacade<SyntaxKind>
     {
-        public ArgumentTracker<SyntaxKind> Argument => new CSharpArgumentTracker();
+        public ArgumentTracker<SyntaxKind> Argument { get; } = new CSharpArgumentTracker();
         public BaseTypeTracker<SyntaxKind> BaseType { get; } = new CSharpBaseTypeTracker();
         public ElementAccessTracker<SyntaxKind> ElementAccess { get; } = new CSharpElementAccessTracker();
         public FieldAccessTracker<SyntaxKind> FieldAccess { get; } = new CSharpFieldAccessTracker();

analyzers/src/SonarAnalyzer.Common/Helpers/KnownType.cs

@@ -71,6 +71,7 @@ public sealed partial class KnownType
         public static readonly KnownType Microsoft_AspNetCore_Http_IFormFile = new("Microsoft.AspNetCore.Http.IFormFile");
         public static readonly KnownType Microsoft_AspNetCore_Http_IFormFileCollection = new("Microsoft.AspNetCore.Http.IFormFileCollection");
         public static readonly KnownType Microsoft_AspNetCore_Http_IHeaderDictionary = new("Microsoft.AspNetCore.Http.IHeaderDictionary");
+        public static readonly KnownType Microsoft_AspNetCore_Http_IQueryCollection = new("Microsoft.AspNetCore.Http.IQueryCollection");
         public static readonly KnownType Microsoft_AspNetCore_Http_IRequestCookieCollection = new("Microsoft.AspNetCore.Http.IRequestCookieCollection");
         public static readonly KnownType Microsoft_AspNetCore_Http_IResponseCookies = new("Microsoft.AspNetCore.Http.IResponseCookies");
         public static readonly KnownType Microsoft_AspNetCore_Http_IResult = new("Microsoft.AspNetCore.Http.IResult");
@@ -86,6 +87,8 @@ public sealed partial class KnownType
         public static readonly KnownType Microsoft_AspNetCore_Mvc_ControllerAttribute = new("Microsoft.AspNetCore.Mvc.ControllerAttribute");
         public static readonly KnownType Microsoft_AspNetCore_Mvc_DisableRequestSizeLimitAttribute = new("Microsoft.AspNetCore.Mvc.DisableRequestSizeLimitAttribute");
         public static readonly KnownType Microsoft_AspNetCore_Mvc_Filters_ActionFilterAttribute = new("Microsoft.AspNetCore.Mvc.Filters.ActionFilterAttribute");
+        public static readonly KnownType Microsoft_AspNetCore_Mvc_Filters_IActionFilter = new("Microsoft.AspNetCore.Mvc.Filters.IActionFilter");
+        public static readonly KnownType Microsoft_AspNetCore_Mvc_Filters_IAsyncActionFilter = new("Microsoft.AspNetCore.Mvc.Filters.IAsyncActionFilter");
         public static readonly KnownType Microsoft_AspNetCore_Mvc_FromServicesAttribute = new("Microsoft.AspNetCore.Mvc.FromServicesAttribute");
         public static readonly KnownType Microsoft_AspNetCore_Mvc_HttpDeleteAttribute = new("Microsoft.AspNetCore.Mvc.HttpDeleteAttribute");
         public static readonly KnownType Microsoft_AspNetCore_Mvc_HttpGetAttribute = new("Microsoft.AspNetCore.Mvc.HttpGetAttribute");
@@ -112,6 +115,7 @@ public sealed partial class KnownType
         public static readonly KnownType Microsoft_AspNetCore_Mvc_RouteAttribute = new("Microsoft.AspNetCore.Mvc.RouteAttribute");
         public static readonly KnownType Microsoft_AspNetCore_Mvc_Routing_HttpMethodAttribute = new("Microsoft.AspNetCore.Mvc.Routing.HttpMethodAttribute");
         public static readonly KnownType Microsoft_AspNetCore_Razor_Hosting_RazorCompiledItemAttribute = new("Microsoft.AspNetCore.Razor.Hosting.RazorCompiledItemAttribute");
+        public static readonly KnownType Microsoft_AspNetCore_Routing_RouteValueDictionary = new("Microsoft.AspNetCore.Routing.RouteValueDictionary");
         public static readonly KnownType Microsoft_Azure_Cosmos_CosmosClient = new("Microsoft.Azure.Cosmos.CosmosClient");
         public static readonly KnownType Microsoft_Azure_Documents_Client_DocumentClient = new("Microsoft.Azure.Documents.Client.DocumentClient");
         public static readonly KnownType Microsoft_Azure_ServiceBus_Management_ManagementClient = new("Microsoft.Azure.ServiceBus.Management.ManagementClient");

analyzers/src/SonarAnalyzer.Common/Trackers/PropertyAccessContext.cs

@@ -30,5 +30,11 @@ public PropertyAccessContext(SonarSyntaxNodeReportingContext context, string pro
             PropertyName = propertyName;
             PropertySymbol = new Lazy<IPropertySymbol>(() => context.SemanticModel.GetSymbolInfo(context.Node).Symbol as IPropertySymbol);
         }
+
+        public PropertyAccessContext(SyntaxNode node, SemanticModel semanticModel, string propertyName) : base(node, semanticModel)
+        {
+            PropertyName = propertyName;
+            PropertySymbol = new Lazy<IPropertySymbol>(() => semanticModel.GetSymbolInfo(node).Symbol as IPropertySymbol);
+        }
     }
 }

analyzers/tests/SonarAnalyzer.Test/PackagingTests/RuleTypeMappingCS.cs

@@ -6856,7 +6856,7 @@ internal static class RuleTypeMappingCS
         // ["S6929"],
         ["S6930"] = "BUG",
         ["S6931"] = "CODE_SMELL",
-        // ["S6932"],
+        ["S6932"] = "CODE_SMELL",
         // ["S6933"],
         ["S6934"] = "CODE_SMELL",
         // ["S6935"],

analyzers/tests/SonarAnalyzer.Test/Rules/AspNet/UseAspNetModelBindingTest.cs

@@ -0,0 +1,292 @@
+/*
+ * SonarAnalyzer for .NET
+ * Copyright (C) 2015-2024 SonarSource SA
+ * mailto: contact AT sonarsource DOT com
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 3 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
+ */
+
+using SonarAnalyzer.Rules.CSharp;
+
+namespace SonarAnalyzer.Test.Rules;
+
+#if NET
+
+[TestClass]
+public class UseAspNetModelBindingTest
+{
+    private readonly VerifierBuilder builderAspNetCore = new VerifierBuilder<UseAspNetModelBinding>()
+        .WithBasePath("AspNet")
+        .WithOptions(ParseOptionsHelper.CSharpLatest)
+        .AddReferences([
+            AspNetCoreMetadataReference.MicrosoftAspNetCoreMvcCore,
+            AspNetCoreMetadataReference.MicrosoftAspNetCoreHttpAbstractions,
+            AspNetCoreMetadataReference.MicrosoftAspNetCoreMvcViewFeatures,
+            AspNetCoreMetadataReference.MicrosoftAspNetCoreMvcAbstractions,
+            AspNetCoreMetadataReference.MicrosoftAspNetCoreHttpFeatures,
+            AspNetCoreMetadataReference.MicrosoftExtensionsPrimitives,
+        ]);
+
+    [TestMethod]
+    public void UseAspNetModelBinding_NoRegistrationIfNotAspNet() =>
+        new VerifierBuilder<UseAspNetModelBinding>().AddSnippet(string.Empty).VerifyNoIssues();
+
+    [TestMethod]
+    public void UseAspNetModelBinding_AspNetCore_CSharp12() =>
+        builderAspNetCore.AddPaths("UseAspNetModelBinding_AspNetCore_Latest.cs").Verify();
+
+    [DataTestMethod]
+    [DataRow("Form")]
+    [DataRow("Query")]
+    [DataRow("RouteValues")]
+    [DataRow("Headers")]
+    public void UseAspNetModelBinding_NonCompliantAccess(string property) =>
+        builderAspNetCore.AddSnippet($$""""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            public class TestController : Controller
+            {
+                async Task NoncompliantKeyVariations()
+                {
+                    _ = Request.{{property}}[@"key"];                                 // Noncompliant
+                    _ = Request.{{property}}.TryGetValue(@"key", out _);              // Noncompliant
+                    _ = Request.{{property}}["""key"""];                              // Noncompliant
+                    _ = Request.{{property}}.TryGetValue("""key""", out _);           // Noncompliant
+
+                    const string key = "id";
+                    _ = Request.{{property}}[key];                                    // Noncompliant
+                    _ = Request.{{property}}.TryGetValue(key, out _);                 // Noncompliant
+                    _ = Request.{{property}}[$"prefix.{key}"];                        // Noncompliant
+                    _ = Request.{{property}}.TryGetValue($"prefix.{key}", out _);     // Noncompliant
+                    _ = Request.{{property}}[$"""prefix.{key}"""];                    // Noncompliant
+                    _ = Request.{{property}}.TryGetValue($"""prefix.{key}""", out _); // Noncompliant
+
+                    _ = Request.{{property}}[key: "id"];                              // Noncompliant
+                    _ = Request.{{property}}.TryGetValue(value: out _, key: "id");    // Noncompliant
+                }
+
+                private static void HandleRequest(HttpRequest request)
+                {
+                    _ = request.{{property}}["id"]; // Noncompliant: Containing type is a controller
+                    void LocalFunction()
+                    {
+                        _ = request.{{property}}["id"]; // Noncompliant: Containing type is a controller
+                    }
+                    static void StaticLocalFunction(HttpRequest request)
+                    {
+                        _ = request.{{property}}["id"]; // Noncompliant: Containing type is a controller
+                    }
+                }
+            }
+            """").Verify();
+
+    [TestMethod]
+    [CombinatorialData]
+    public void UseAspNetModelBinding_CompliantAccess(
+        [DataValues(
+            "_ = {0}.Keys",
+            "_ = {0}.Count",
+            "foreach (var kvp in {0}) {{ }}",
+            "_ = {0}.Select(x => x);",
+            "_ = {0}[key];                    // Compliant: The accessed key is not a compile time constant")] string statementFormat,
+        [DataValues("Request", "this.Request", "ControllerContext.HttpContext.Request", "request")] string request,
+        [DataValues("Form", "Headers", "Query", "RouteValues")] string property,
+        [DataValues("[FromForm]", "[FromQuery]", "[FromRoute]", "[FromHeader]")] string attribute) =>
+        builderAspNetCore.AddSnippet($$"""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            public class TestController : Controller
+            {
+                async Task Compliant({{attribute}} string key, HttpRequest request)
+                {
+                    {{string.Format(statementFormat, $"{request}.{property}")}};
+                }
+            }
+            """).VerifyNoIssues();
+
+    [DataTestMethod]
+    [DataRow("Form")]
+    [DataRow("Headers")]
+    [DataRow("Query")]
+    [DataRow("RouteValues")]
+    public void UseAspNetModelBinding_DottedExpressions(string property) =>
+        builderAspNetCore.AddSnippet($$"""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using Microsoft.AspNetCore.Routing;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            public class TestController : Controller
+            {
+                HttpRequest ValidRequest => Request;
+                IFormCollection Form => Request.Form;
+                IHeaderDictionary Headers => Request.Headers;
+                IQueryCollection Query => Request.Query;
+                RouteValueDictionary RouteValues => Request.RouteValues;
+
+                async Task DottedExpressions()
+                {
+                    _ = (true ? Request : Request).{{property}}["id"]; // Noncompliant
+                    _ = ValidatedRequest().{{property}}["id"]; // Noncompliant
+                    _ = ValidRequest.{{property}}["id"]; // Noncompliant
+                    _ = {{property}}["id"];      // Noncompliant
+                    _ = this.{{property}}["id"];                 // Noncompliant
+                    _ = new TestController().{{property}}["id"]; // Noncompliant
+
+                    _ = this.Request.{{property}}["id"]; // Noncompliant
+                    _ = Request?.{{property}}?["id"]; // Noncompliant
+                    _ = Request?.{{property}}?.TryGetValue("id", out _); // Noncompliant
+                    _ = Request.{{property}}?.TryGetValue("id", out _); // Noncompliant
+                    _ = Request.{{property}}?.TryGetValue("id", out _).ToString(); // Noncompliant
+                    _ = HttpContext.Request.{{property}}["id"]; // Noncompliant
+                    _ = Request.HttpContext.Request.{{property}}["id"]; // Noncompliant
+                    _ = this.ControllerContext.HttpContext.Request.{{property}}["id"]; // Noncompliant
+                    var r1 = HttpContext.Request;
+                    _ = r1.{{property}}["id"]; // Noncompliant
+                    var r2 = ControllerContext;
+                    _ = r2.HttpContext.Request.{{property}}["id"]; // Noncompliant
+
+                    HttpRequest ValidatedRequest() => Request;
+                }
+            }
+            """).Verify();
+
+    [DataTestMethod]
+    [DataRow("public class MyController: Controller")]
+    [DataRow("public class MyController: ControllerBase")]
+    [DataRow("[Controller] public class My: Controller")]
+    // [DataRow("public class MyController")] FN: Poco controller are not detected
+    public void UseAspNetModelBinding_PocoController(string classDeclaration) =>
+        builderAspNetCore.AddSnippet($$""""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            {{classDeclaration}}
+            {
+                public async Task Action([FromServices]IHttpContextAccessor httpContextAccessor)
+                {
+                    _ = httpContextAccessor.HttpContext.Request.Form["id"]; // Noncompliant
+                }
+            }
+            """").Verify();
+
+    [DataTestMethod]
+    [DataRow("public class My")]
+    [DataRow("[NonController] public class My: Controller")]
+    [DataRow("[NonController] public class MyController: Controller")]
+    public void UseAspNetModelBinding_NoController(string classDeclaration) =>
+        builderAspNetCore.AddSnippet($$""""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            {{classDeclaration}}
+            {
+                public async Task Action([FromServices]IHttpContextAccessor httpContextAccessor)
+                {
+                    _ = httpContextAccessor.HttpContext.Request.Form["id"]; // Compliant
+                }
+            }
+            """").VerifyNoIssues();
+
+    [DataTestMethod]
+    [DataRow("Form")]
+    [DataRow("Headers")]
+    [DataRow("Query")]
+    [DataRow("RouteValues")]
+    public void UseAspNetModelBinding_NoControllerHelpers(string property) =>
+        builderAspNetCore.AddSnippet($$""""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            static class HttpRequestExtensions
+            {
+                public static void Ext(this HttpRequest request)
+                {
+                    _ = request.{{property}}["id"]; // Compliant: Not in a controller
+                }
+            }
+
+            class RequestService
+            {
+                public HttpRequest Request { get; }
+
+                public void HandleRequest(HttpRequest request)
+                {
+                    _ = Request.{{property}}["id"]; // Compliant: Not in a controller
+                    _ = request.{{property}}["id"]; // Compliant: Not in a controller
+                }
+            }            
+            """").VerifyNoIssues();
+
+    [TestMethod]
+    [CombinatorialData]
+    public void UseAspNetModelBinding_InheritanceAccess(
+        [DataValues(
+            ": Controller",
+            ": ControllerBase",
+            ": MyBaseController",
+            ": MyBaseBaseController")]string baseList,
+        [DataValues(
+            """_ = Request.Form["id"]""",
+            """_ = Request.Form.TryGetValue("id", out var _)""",
+            """_ = Request.Headers["id"]""",
+            """_ = Request.Query["id"]""",
+            """_ = Request.RouteValues["id"]""")]string nonCompliantStatement) =>
+        builderAspNetCore.AddSnippet($$""""
+            using Microsoft.AspNetCore.Http;
+            using Microsoft.AspNetCore.Mvc;
+            using Microsoft.AspNetCore.Mvc.Filters;
+            using System;
+            using System.Linq;
+            using System.Threading.Tasks;
+
+            public class MyBaseController : ControllerBase { }
+            public class MyBaseBaseController : MyBaseController { }
+
+            public class MyTestController {{baseList}}
+            {
+                public void Action()
+                {
+                    {{nonCompliantStatement}}; // Noncompliant
+                }
+            }
+            """").Verify();
+}
+#endif