C#: Use invariant culture in the extractor

Author: tamasvajk

csharp/extractor/Semmle.Extraction.CSharp.Driver/Driver.cs

@@ -7,6 +7,8 @@ public static class Driver
     {
         public static int Main(string[] args)
         {
+            Extractor.SetInvariantCulture();
+
             return (int)Extractor.Run(args);
         }
     }

csharp/extractor/Semmle.Extraction.CSharp.Standalone/Program.cs

@@ -52,6 +52,8 @@ public class Program
     {
         public static int Main(string[] args)
         {
+            Extractor.SetInvariantCulture();
+
             var options = Options.Create(args);
             // options.CIL = true;  // To do: Enable this
             using var output = new ConsoleLogger(options.Verbosity);

csharp/extractor/Semmle.Extraction.CSharp/Extractor/Extractor.cs

@@ -11,6 +11,8 @@
 using System.Threading.Tasks;
 using Semmle.Util.Logging;
 using System.Collections.Concurrent;
+using System.Globalization;
+using System.Threading;
 
 namespace Semmle.Extraction.CSharp
 {
@@ -52,6 +54,21 @@ public void MissingSummary(int types, int namespaces) { }
             public void MissingType(string type) { }
         }
 
+        /// <summary>
+        /// Set the application culture to the invariant culture.
+        ///
+        /// This is required among others to ensure that the invariant culture is used for value formatting during TRAP
+        /// file writing.
+        /// </summary>
+        public static void SetInvariantCulture()
+        {
+            var culture = CultureInfo.InvariantCulture;
+            CultureInfo.DefaultThreadCurrentCulture = culture;
+            CultureInfo.DefaultThreadCurrentUICulture = culture;
+            Thread.CurrentThread.CurrentCulture = culture;
+            Thread.CurrentThread.CurrentUICulture = culture;
+        }
+
         /// <summary>
         /// Command-line driver for the extractor.
         /// </summary>