Merge pull request github#6660 from hvitved/csharp/dotnet-exec-tracing-windows

C#: Handle `dotnet exec csc.dll` compiler calls on Windows

Author: hvitved

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

@@ -1,3 +1,7 @@
+using System;
+using System.Text.RegularExpressions;
+using System.Collections.Generic;
+
 namespace Semmle.Extraction.CSharp
 {
     /// <summary>
@@ -9,6 +13,31 @@ public static int Main(string[] args)
         {
             Extractor.SetInvariantCulture();
 
+            Console.WriteLine($"Semmle.Extraction.CSharp.Driver: called with {string.Join(", ", args)}");
+
+            if (args.Length > 0 && args[0] == "--dotnetexec")
+            {
+                var compilerRegEx = new Regex(@"csc\.exe|mcs\.exe|csc\.dll", RegexOptions.Compiled);
+                var cil = args.Length > 1 && args[1] == "--cil";
+                for (var i = cil ? 2 : 1; i < args.Length; i++)
+                {
+                    if (compilerRegEx.IsMatch(args[i]))
+                    {
+                        var argsList = new List<string>();
+                        if (cil)
+                            argsList.Add("--cil");
+                        argsList.Add("--compiler");
+                        argsList.Add(args[i]);
+                        if (i + 1 < args.Length)
+                            argsList.AddRange(args[(i + 1)..]);
+                        return (int)Extractor.Run(argsList.ToArray());
+                    }
+                }
+
+                Console.WriteLine($"Semmle.Extraction.CSharp.Driver: not a compiler invocation");
+                return 0;
+            }
+
             return (int)Extractor.Run(args);
         }
     }

csharp/tools/linux64/compiler-tracing.spec

@@ -6,7 +6,9 @@
   prepend --cil
 **/mono*:
 **/dotnet:
-  invoke ${config_dir}/extract-csharp.sh
+  invoke ${config_dir}/Semmle.Extraction.CSharp.Driver
+  prepend --dotnetexec
+  prepend --cil
 **/msbuild:
 **/xbuild:
   replace yes

csharp/tools/linux64/extract-csharp.sh

@@ -6,7 +6,9 @@
   prepend --cil
 **/mono*:
 **/dotnet:
-  invoke ${config_dir}/extract-csharp.sh
+  invoke ${config_dir}/Semmle.Extraction.CSharp.Driver
+  prepend --dotnetexec
+  prepend --cil
 **/msbuild:
 **/xbuild:
   replace yes

csharp/tools/osx64/compiler-tracing.spec

@@ -7,3 +7,7 @@
   prepend --compiler
   prepend "${compiler}"
   prepend --cil
+**\dotnet.exe:
+  invoke ${config_dir}\Semmle.Extraction.CSharp.Driver.exe
+  prepend --dotnetexec
+  prepend --cil