C#: Base the remoteflowsource test on stubs and update line numbers in expected output.

Author: michaelnebel

csharp/ql/test/library-tests/dataflow/flowsources/remote/RemoteFlowSource.cs

@@ -7,12 +7,6 @@ public sealed class ServiceContractAttribute : Attribute { }
     public sealed class OperationContractAttribute : Attribute { }
 }
 
-namespace System.Runtime.Serialization
-{
-    public sealed class DataContractAttribute : Attribute { }
-    public sealed class DataMemberAttribute : Attribute { }
-}
-
 namespace RemoteFlowSource
 {
     using System.ServiceModel;

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

@@ -1 +1,3 @@
-semmle-extractor-options: /r:System.Net.dll /r:System.Web.dll /r:System.Net.HttpListener.dll /r:System.Collections.Specialized.dll /r:System.Private.Uri.dll /r:System.Security.Cryptography.X509Certificates.dll ${testdir}/../../../../resources/stubs/System.Web.cs
+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: ${testdir}/../../../../resources/stubs/System.Web.cs

csharp/ql/test/library-tests/dataflow/flowsources/remote/remoteFlowSource.expected

@@ -2,10 +2,10 @@
 | Controller.cs:11:62:11:66 | taint | ASP.NET MVC action method parameter |
 | Controller.cs:16:43:16:52 | sampleData | ASP.NET MVC action method parameter |
 | Controller.cs:16:62:16:66 | taint | ASP.NET MVC action method parameter |
-| RemoteFlowSource.cs:36:17:36:23 | access to parameter request | ASP.NET query string |
-| RemoteFlowSource.cs:37:17:37:23 | access to parameter textBox | ASP.NET user input |
-| RemoteFlowSource.cs:40:44:40:53 | sampleData | web service input |
-| RemoteFlowSource.cs:40:63:40:67 | taint | web service input |
-| RemoteFlowSource.cs:46:17:46:23 | access to parameter request | ASP.NET query string |
-| RemoteFlowSource.cs:51:17:51:23 | access to parameter request | ASP.NET query string |
-| RemoteFlowSource.cs:51:17:51:42 | access to property RawUrl | ASP.NET unvalidated request data |
+| RemoteFlowSource.cs:30:17:30:23 | access to parameter request | ASP.NET query string |
+| RemoteFlowSource.cs:31:17:31:23 | access to parameter textBox | ASP.NET user input |
+| RemoteFlowSource.cs:34:44:34:53 | sampleData | web service input |
+| RemoteFlowSource.cs:34:63:34:67 | taint | web service input |
+| RemoteFlowSource.cs:40:17:40:23 | access to parameter request | ASP.NET query string |
+| RemoteFlowSource.cs:45:17:45:23 | access to parameter request | ASP.NET query string |
+| RemoteFlowSource.cs:45:17:45:42 | access to property RawUrl | ASP.NET unvalidated request data |