dropping unsupported netcore 3.1 target and fixing JSON dependency

.github/workflows/test-coyote.yml

@@ -38,10 +38,6 @@ jobs:
         uses: actions/setup-dotnet@v1
         with:
           dotnet-version: '6.0.x'
-      - name: Setup .NET Core 3.1 SDK
-        uses: actions/setup-dotnet@v1
-        with:
-          dotnet-version: '3.1.x'
       - name: Setup debugging tools
         if: ${{ matrix.platform == 'windows-latest' }}
         run: |

Common/build.props

@@ -40,17 +40,12 @@
     <Framework462Installed>false</Framework462Installed>
     <Framework462Installed Condition="'$(BUILD_NET462)'=='yes'">true</Framework462Installed>
     <NetStandard2Supported Condition="'$(NetStandard2Supported)'==''">true</NetStandard2Supported>
-    <NetCore31Supported Condition="'$(NetCore31Supported)'==''">true</NetCore31Supported>
-    <NetCore31Installed>false</NetCore31Installed>
-    <NetCore31Installed Condition="$(GlobalVersion.StartsWith('3.1'))">true</NetCore31Installed>
-    <NetCore31Installed Condition="'$(BUILD_NETCORE31)'=='yes'">true</NetCore31Installed>
     <Net6Supported Condition="'$(Net6Supported)'==''">true</Net6Supported>
     <Net6Installed>false</Net6Installed>
     <Net6Installed Condition="$(GlobalVersion.StartsWith('6.0'))">true</Net6Installed>
     <Net6Installed Condition="'$(BUILD_NET6)'=='yes'">true</Net6Installed>
     <TargetFrameworks>net8.0</TargetFrameworks>
     <TargetFrameworks Condition="'$(NetStandard2Supported)'">$(TargetFrameworks);netstandard2.0</TargetFrameworks>
-    <TargetFrameworks Condition="'$(NetCore31Installed)' and '$(NetCore31Supported)'">$(TargetFrameworks);netcoreapp3.1</TargetFrameworks>
     <TargetFrameworks Condition="'$(Net6Installed)' and '$(Net6Supported)'">$(TargetFrameworks);net6.0</TargetFrameworks>
   </PropertyGroup>
   <PropertyGroup Condition="'$(OS)'=='Windows_NT'">

History.md

@@ -1,3 +1,9 @@
+## vNext
+- Upgraded the `System.Text.Json` package to `v8.0.4` for the `netstandard2.0`
+  target framework, due to a vulnerability.
+- Dropped support for the `netcoreapp3.1` target framework, which reached end of
+  life.
+
 ## v1.7.11
 - Added support for the `net8.0` target framework.
 - Added support to optionally explore a race condition when using the

Scripts/CI/azure-nuget-sign-publish.yml

@@ -17,11 +17,6 @@ steps:
   inputs:
     version: 6.0.x
 
-- task: UseDotNet@2
-  displayName: 'Install .NET Core 3.1 SDK'
-  inputs:
-    version: 3.1.x
-
 - task: UseDotNet@2
   displayName: 'Install .NET Core 2.1 SDK'
   inputs:
@@ -98,36 +93,6 @@ steps:
          }
      ]
 
-- task: EsrpCodeSigning@2
-  displayName: 'ESRP CodeSigning .NET Core 3.1'
-  inputs:
-    ConnectedServiceName: CoyoteNugetSign
-    FolderPath: bin\netcoreapp3.1
-    signConfigType: inlineSignParams
-    inlineOperation: |
-     [
-         {
-             "KeyCode": "CP-230012",
-             "OperationCode": "SigntoolSign",
-             "Parameters": {
-                 "OpusName": "Microsoft.Coyote",
-                 "OpusInfo": "https://github.com/Microsoft/Coyote",
-                 "FileDigest": "/fd \"SHA256\"",
-                 "PageHash": "/PH",
-                 "TimeStamp": "/tr \"http://rfc3161.gtm.corp.microsoft.com/TSS/HttpTspServer\" /td sha256"
-             },
-             "ToolName": "sign",
-             "ToolVersion": "1.0"
-         },
-         {
-             "KeyCode": "CP-230012",
-             "OperationCode": "SigntoolVerify",
-             "Parameters": {},
-             "ToolName": "sign",
-             "ToolVersion": "1.0"
-         }
-     ]
-
 - task: EsrpCodeSigning@2
   displayName: 'ESRP CodeSigning .NET Standard 2.0'
   inputs:

Scripts/build.ps1

@@ -26,7 +26,6 @@ if ($host.Version.Major -lt 7)
 $dotnet = "dotnet"
 $dotnet_sdk_path = FindDotNetSdkPath -dotnet $dotnet
 $version_net4 = $IsWindows -and (Get-ItemProperty "HKLM:SOFTWARE\Microsoft\NET Framework Setup\NDP\v4\Full").Release -ge 528040
-$version_netcore31 = FindMatchingVersion -path $dotnet_sdk_path -version "3.1.0"
 $version_net6 = FindMatchingVersion -path $dotnet_sdk_path -version "6.0.0"
 $sdk_version = FindDotNetSdkVersion -dotnet_sdk_path $dotnet_sdk_path
 
@@ -44,11 +43,6 @@ if ($ci.IsPresent) {
         $extra_frameworks = $extra_frameworks + " /p:BUILD_NET462=yes"
     }
 
-    if ($null -ne $version_netcore31 -and $version_netcore31 -ne $sdk_version) {
-        # Build .NET Core 3.1 as well as the latest version.
-        $extra_frameworks = $extra_frameworks + " /p:BUILD_NETCORE31=yes"
-    }
-
     if ($null -ne $version_net6 -and $version_net6 -ne $sdk_version) {
         # Build .NET 6.0 as well as the latest version.
         $extra_frameworks = $extra_frameworks + " /p:BUILD_NET6=yes"

Scripts/common.psm1

@@ -23,7 +23,7 @@ function Invoke-CoyoteTool([String]$cmd, [String]$dotnet, [String]$framework, [S
         $command = "$coyote $cmd $target"
     }
 
-    if ($command -eq "rewrite" -and $framework -ne "netcoreapp3.1" -and $framework -ne "net6.0" -and $framework -ne "net8.0" -and $IsWindows) {
+    if ($command -eq "rewrite" -and $framework -ne "net6.0" -and $framework -ne "net8.0" -and $IsWindows) {
         # NOTE: Mono.Cecil cannot sign assemblies on unix platforms.
         $command = "$command -snk $key"
     }

Scripts/run-tests.ps1

@@ -2,7 +2,7 @@
 # Licensed under the MIT License.
 
 param(
-    [ValidateSet("net8.0", "net6.0", "netcoreapp3.1", "net462")]
+    [ValidateSet("net8.0", "net6.0", "net462")]
     [string]$framework = "net8.0",
     [ValidateSet("all", "runtime", "rewriting", "testing", "actors", "actors-testing", "tools")]
     [string]$test = "all",

Source/Core/Runtime/CoyoteRuntime.cs

@@ -2494,7 +2494,7 @@ internal void ProcessUnhandledExceptionInOperation(ControlledOperation op, Excep
         /// </summary>
         private static string FormatExceptionStackTrace(Exception exception)
         {
-#if NET || NETCOREAPP3_1
+#if NET
             string[] lines = exception.ToString().Split(Environment.NewLine, StringSplitOptions.None);
 #else
             string[] lines = exception.ToString().Split(new[] { Environment.NewLine }, StringSplitOptions.None);
@@ -2516,7 +2516,7 @@ private static string FormatExceptionStackTrace(Exception exception)
         private static string FormatUncontrolledStackTrace(StackTrace trace)
         {
             StringBuilder sb = new StringBuilder();
-#if NET || NETCOREAPP3_1
+#if NET
             string[] lines = trace.ToString().Split(Environment.NewLine, StringSplitOptions.None);
 #else
             string[] lines = trace.ToString().Split(new[] { Environment.NewLine }, StringSplitOptions.None);
@@ -2535,7 +2535,7 @@ private static string FormatUncontrolledStackTrace(StackTrace trace)
         private static string FormatSpecificationMonitorStackTrace(StackTrace trace)
         {
             StringBuilder sb = new StringBuilder();
-#if NET || NETCOREAPP3_1
+#if NET
             string[] lines = trace.ToString().Split(Environment.NewLine, StringSplitOptions.None);
 #else
             string[] lines = trace.ToString().Split(new[] { Environment.NewLine }, StringSplitOptions.None);

Source/Core/Testing/Interleaving/InterleavingStrategy.cs

@@ -210,7 +210,7 @@ internal bool GetNextInteger(ControlledOperation current, int maxValue, out int
         /// </summary>
         private string FormatReplayError(int step, string reason)
         {
-#if NET || NETCOREAPP3_1
+#if NET
             string[] traceTokens = new StackTrace().ToString().Split(Environment.NewLine, StringSplitOptions.RemoveEmptyEntries);
 #else
             string[] traceTokens = new StackTrace().ToString().Split(new[] { Environment.NewLine }, StringSplitOptions.RemoveEmptyEntries);

Source/Test/Rewriting/Passes/Rewriting/InterAssemblyInvocationRewritingPass.cs

@@ -8,7 +8,7 @@
 using Microsoft.Coyote.Runtime;
 using Mono.Cecil;
 using Mono.Cecil.Cil;
-#if NET || NETCOREAPP3_1
+#if NET
 using HttpClient = Microsoft.Coyote.Rewriting.Types.Net.Http.HttpClient;
 #endif
 using NameCache = Microsoft.Coyote.Rewriting.Types.NameCache;
@@ -101,7 +101,7 @@ instruction.Operand is MethodReference methodReference &&
                     this.Processor.InsertAfter(instruction, newInstruction);
                     this.IsMethodBodyModified = true;
                 }
-#if NET || NETCOREAPP3_1
+#if NET
                 else if (IsSystemType(resolvedReturnType) && resolvedReturnType.FullName == NameCache.HttpClient)
                 {
                     MethodReference interceptionMethod = this.CreateInterceptionMethod(

Source/Test/Rewriting/Passes/Rewriting/Types/TypeRewritingPass.cs

@@ -89,7 +89,7 @@ internal TypeRewritingPass(RewritingOptions options, IEnumerable<AssemblyInfo> v
             this.KnownTypes[NameCache.EventWaitHandle] = typeof(Types.Threading.EventWaitHandle);
             this.KnownTypes[NameCache.WaitHandle] = typeof(Types.Threading.WaitHandle);
 
-#if NET || NETCOREAPP3_1
+#if NET
             // Populate the map with the known HTTP and web-related types.
             this.KnownTypes[NameCache.HttpClient] = typeof(Types.Net.Http.HttpClient);
             this.KnownTypes[NameCache.HttpRequestMessage] = typeof(Types.Net.Http.HttpRequestMessage);

Source/Test/Rewriting/RewritingOptions.cs

@@ -297,7 +297,7 @@ private static bool TryResolveTargetFramework(Assembly assembly, out string reso
         {
             var targetFramework = assembly?.GetCustomAttributes(typeof(TargetFrameworkAttribute), false)
                 .SingleOrDefault() as TargetFrameworkAttribute;
-#if NET || NETCOREAPP3_1
+#if NET
             var tokens = targetFramework?.FrameworkName.Split(",Version=", StringSplitOptions.None);
 #else
             var tokens = targetFramework?.FrameworkName.Split(new[] { ",Version=" }, StringSplitOptions.None);
@@ -310,7 +310,6 @@ private static bool TryResolveTargetFramework(Assembly assembly, out string reso
                 {
                     resolvedTargetFramework = tokens[1] is "v8.0" ? "net8.0" :
                         tokens[1] is "v6.0" ? "net6.0" :
-                        tokens[1] is "v3.1" ? "netcoreapp3.1" :
                         resolvedTargetFramework;
                 }
                 else if (tokens[0] == ".NETFramework")

Source/Test/Rewriting/Types/Collections/Concurrent/ConcurrentBag.cs

@@ -55,7 +55,7 @@ public static void Add(SystemConcurrent.ConcurrentBag<T> instance, T item)
             instance.Add(item);
         }
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Removes all objects from the concurrent bag.
         /// </summary>

Source/Test/Rewriting/Types/Collections/Concurrent/ConcurrentDictionary.cs

@@ -135,7 +135,7 @@ public static TValue AddOrUpdate(SystemConcurrent.ConcurrentDictionary<TKey, TVa
             return instance.AddOrUpdate(key, addValue, updateValueFactory);
         }
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Adds a key/value pair to the concurrent dictionary if the key does not
         /// already exist, or updates a key/value pair in the concurrent dictionary
@@ -201,7 +201,7 @@ public static TValue GetOrAdd(SystemConcurrent.ConcurrentDictionary<TKey, TValue
             return instance.GetOrAdd(key, value);
         }
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Adds a key/value pair to the concurrent dictionary if the key does not already exist.
         /// Returns the new value, or the existing value if the key already exists.

Source/Test/Rewriting/Types/Collections/Concurrent/ConcurrentQueue.cs

@@ -46,7 +46,7 @@ public static bool get_IsEmpty(SystemConcurrent.ConcurrentQueue<T> instance)
             return instance.IsEmpty;
         }
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Removes all objects from the concurrent queue.
         /// </summary>

Source/Test/Rewriting/Types/Collections/Generic/Dictionary.cs

@@ -75,7 +75,7 @@
             new Wrapper(capacity, comparer) :
             new SystemGenerics.Dictionary<TKey, TValue>(capacity, comparer);
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Initializes a new dictionary instance class that contains elements copied
         /// from the specified enumerable.
@@ -250,7 +250,7 @@
             SerializationInfo info, StreamingContext context)
         {
             (instance as Wrapper)?.CheckDataRace(true);
             instance.GetObjectData(info, context);
         }
 
         /// <summary>
@@ -263,7 +263,7 @@
             instance.OnDeserialization(sender);
         }
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Ensures that the dictionary can hold up to a specified number of entries without
         /// any further expansion of its backing storage.
@@ -365,7 +365,7 @@
             internal Wrapper(SystemGenerics.IEqualityComparer<TKey> comparer)
                 : base(comparer) => this.Setup();
 
-#if NET || NETCOREAPP3_1
+#if NET
             /// <summary>
             /// Initializes a new instance of the <see cref="Wrapper"/> class.
             /// </summary>

Source/Test/Rewriting/Types/Collections/Generic/HashSet.cs

@@ -56,7 +56,7 @@
             new Wrapper(collection, comparer) :
             new SystemGenerics.HashSet<T>(collection, comparer);
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Initializes a hash set instance class that is empty, but has reserved
         /// space for 'capacity' items and and uses the default equality comparer for the set type.
@@ -187,7 +187,7 @@
             StreamingContext context)
         {
             (instance as Wrapper)?.CheckDataRace(false);
             instance.GetObjectData(info, context);
         }
 
         /// <summary>
@@ -314,7 +314,7 @@
             instance.UnionWith(other);
         }
 
-#if NET || NETCOREAPP3_1
+#if NET
         /// <summary>
         /// Ensures that this hash set object can hold the specified number of elements without growing.
         /// </summary>
@@ -377,9 +377,9 @@
             /// Initializes a new instance of the <see cref="Wrapper"/> class.
             /// </summary>
             internal Wrapper(SerializationInfo info, StreamingContext context)
                 : base(info, context) => this.Setup();
 
-#if NET || NETCOREAPP3_1
+#if NET
             /// <summary>
             /// Initializes a new instance of the <see cref="Wrapper"/> class.
             /// </summary>

Source/Test/Rewriting/Types/NameCache.cs

@@ -5,7 +5,7 @@
 using SystemCompiler = System.Runtime.CompilerServices;
 using SystemConcurrentCollections = System.Collections.Concurrent;
 using SystemGenericCollections = System.Collections.Generic;
-#if NET || NETCOREAPP3_1
+#if NET
 using SystemNetHttp = System.Net.Http;
 #endif
 using SystemTasks = System.Threading.Tasks;
@@ -89,7 +89,7 @@ internal static class NameCache
         internal static string ConcurrentQueue { get; } = typeof(SystemConcurrentCollections.ConcurrentQueue<>).FullName;
         internal static string ConcurrentStack { get; } = typeof(SystemConcurrentCollections.ConcurrentStack<>).FullName;
 
-#if NET || NETCOREAPP3_1
+#if NET
         internal static string HttpClient { get; } = typeof(SystemNetHttp.HttpClient).FullName;
         internal static string HttpRequestMessage { get; } = typeof(SystemNetHttp.HttpRequestMessage).FullName;
 #endif

Source/Test/Rewriting/Types/Net/Http/HttpClient.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET || NETCOREAPP3_1
+#if NET
 using System;
 using System.Reflection;
 using SystemHttpClient = System.Net.Http.HttpClient;

Source/Test/Rewriting/Types/Net/Http/HttpMessageHandler.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET || NETCOREAPP3_1
+#if NET
 using SystemCancellationToken = System.Threading.CancellationToken;
 using SystemDelegatingHandler = System.Net.Http.DelegatingHandler;
 using SystemHttpClientHandler = System.Net.Http.HttpClientHandler;

Source/Test/Rewriting/Types/Net/Http/HttpRequestHeader.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET || NETCOREAPP3_1
+#if NET
 namespace Microsoft.Coyote.Rewriting.Types.Net.Http
 {
     /// <summary>

Source/Test/Rewriting/Types/Net/Http/HttpRequestMessage.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET || NETCOREAPP3_1
+#if NET
 using System;
 using Microsoft.Coyote.Runtime;
 using SystemHttpMethod = System.Net.Http.HttpMethod;

Source/Test/Rewriting/Types/Web/RequestControllerMiddleware.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET || NETCOREAPP3_1
+#if NET
 using System;
 using Microsoft.Coyote.Rewriting.Types.Net.Http;
 using Microsoft.Coyote.Runtime;

Source/Test/SystematicTesting/Reports/TraceReport.cs

@@ -145,7 +145,7 @@ internal static ExecutionTrace FromJson(Configuration configuration)
                     string decisionToken = tokens[1];
                     if (decisionToken.StartsWith("sp("))
                     {
-#if NET || NETCOREAPP3_1
+#if NET
                         SchedulingPointType sp = Enum.Parse<SchedulingPointType>(decisionToken.Substring(
                             3, decisionToken.Length - 4));
 #else