C#: Add testcase for controller parameter types tainted members.

Author: michaelnebel

csharp/ql/test/library-tests/dataflow/flowsources/aspremote/AspRemoteFlowSource.cs

@@ -0,0 +1,20 @@
+using Microsoft.AspNetCore.Mvc;
+
+namespace Testing
+{
+
+    public class ViewModel
+    {
+        public string RequestId { get; set; }
+
+        public object Query;
+    }
+
+    public class TestController : Controller
+    {
+        public object MyAction(ViewModel viewModel)
+        {
+            throw null;
+        }
+    }
+}

csharp/ql/test/library-tests/dataflow/flowsources/aspremote/aspRemoteFlowSource.expected

@@ -0,0 +1,5 @@
+remoteFlowSourceMembers
+| AspRemoteFlowSource.cs:8:23:8:31 | RequestId |
+| AspRemoteFlowSource.cs:10:23:10:27 | Query |
+remoteFlowSources
+| AspRemoteFlowSource.cs:15:42:15:50 | viewModel |

csharp/ql/test/library-tests/dataflow/flowsources/aspremote/aspRemoteFlowSource.ql

@@ -0,0 +1,8 @@
+import csharp
+import semmle.code.csharp.security.dataflow.flowsources.Remote
+
+query predicate remoteFlowSourceMembers(TaintTracking::TaintedMember m) { m.fromSource() }
+
+query predicate remoteFlowSources(AspNetCoreRemoteFlowSource s) {
+  s.getEnclosingCallable().fromSource()
+}

csharp/ql/test/library-tests/dataflow/flowsources/aspremote/options

@@ -0,0 +1,4 @@
+semmle-extractor-options: /nostdlib /noconfig
+semmle-extractor-options: --load-sources-from-project:${testdir}/../../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj
+semmle-extractor-options: --load-sources-from-project:${testdir}/../../../../resources/stubs/Microsoft.Extensions.Primitives/6.0.0/Microsoft.Extensions.Primitives.csproj
+semmle-extractor-options: ${testdir}/../../../../resources/stubs/AspNetCore.cs