Implement net-ssa-cli and test case.

Author: m-carrasco

.github/workflows/build.yml

@@ -21,6 +21,10 @@ jobs:
         sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
         sudo apt update
         sudo apt-get install mono-devel=6.12.0.122-0xamarin1+ubuntu1804b1
+        sudo apt-get install mono-utils
+    - name: Setup llvm-tools
+      run: |
+        sudo apt-get install llvm-12-tools
     - name: Setup .NET
       uses: actions/setup-dotnet@v1
       with:

CMakeLists.txt

@@ -8,6 +8,10 @@ find_package(Souffle REQUIRED)
 find_package(Python3 REQUIRED COMPONENTS Interpreter)
 find_package(Mono 6.12 REQUIRED COMPONENTS)
 
+find_program(LLVM_CONFIG NAMES llvm-config REQUIRED)
+message(STATUS "Using llvm-config: ${LLVM_CONFIG}")
+exec_program("${LLVM_CONFIG} --bindir" OUTPUT_VARIABLE LLVM_BINDIR)
+
 add_subdirectory(souffle)
 
 set(NET_SSA_BIN_DIR ${CMAKE_CURRENT_BINARY_DIR}/bin/net-ssa)

integration-test/lit.cfg.py

@@ -13,6 +13,8 @@
 
 config.substitutions.append(('%mono', config.mono_bin))
 config.substitutions.append(('%mcs', config.mcs_bin))
+config.substitutions.append(('%net-ssa-cli', os.path.join(config.net_ssa_bin_dir, "net-ssa-cli")))
+config.substitutions.append(('%FileCheck', os.path.join(config.llvm_bin_dir, "FileCheck")))
 
 def _clean_test_directory(directory):
     for entry in os.scandir(directory):

integration-test/lit.site.cfg.py.in

@@ -4,6 +4,8 @@ config.souffle_bin_dir = "@SOUFFLE_BIN_DIR@"
 config.my_src_root = r'@CMAKE_SOURCE_DIR@'
 config.my_obj_root = r'@CMAKE_BINARY_DIR@'
 
+config.llvm_bin_dir = r'@LLVM_BINDIR@'
+
 config.mono_bin = "@MONO_EXECUTABLE@"
 config.mcs_bin = "@MCS_EXECUTABLE@"
 

integration-test/net-ssa-cli/list/classes/test0/Test.cs

@@ -0,0 +1,7 @@
+// RUN: %mcs -target:library -out:%T/Test.dll %s
+// RUN: %net-ssa-cli %T/Test.dll list classes > %t.classes
+// RUN: %FileCheck %s < %t.classes
+
+// CHECK: Test
+
+public class Test { }

integration-test/net-ssa-cli/list/classes/test1/Test.cs

@@ -0,0 +1,11 @@
+// RUN: %mcs -target:library -out:%T/Test.dll %s
+// RUN: %net-ssa-cli %T/Test.dll list classes > %t.classes
+// RUN: %FileCheck %s < %t.classes
+
+// CHECK: Test
+// CHECK: Test/Nested
+
+public class Test
+{
+    public class Nested { }
+}

integration-test/net-ssa-cli/list/classes/test2/Test.cs

@@ -0,0 +1,7 @@
+// RUN: %mcs -target:library -out:%T/Test.dll %s
+// RUN: %net-ssa-cli %T/Test.dll list classes > %t.classes
+// RUN: %FileCheck %s < %t.classes
+
+// CHECK: Test`1
+
+public class Test<T> { }

integration-test/test0/Test.cs

@@ -0,0 +1,55 @@
+using System;
+using System.CommandLine;
+using System.CommandLine.Invocation;
+using System.IO;
+using Mono.Cecil;
+namespace NetSsaCli
+{
+    class Program
+    {
+        static void Main(string[] args)
+        {
+            var rootCommand = new RootCommand{
+                new Argument<FileInfo>("input", "Assembly to process.").ExistingOnly(),
+            };
+
+            addListSubCommand(rootCommand);
+
+            var disassemble = new Command("disassemble");
+            disassemble.Handler = CommandHandler.Create(() =>
+            {
+                Console.WriteLine("Disassembling");
+            });
+
+            rootCommand.Add(disassemble);
+            rootCommand.InvokeAsync(args);
+        }
+
+        static void addListSubCommand(RootCommand rootCommand)
+        {
+            var list = new Command("list", "List classes or methods in the assembly.");
+            var classes = new Command("classes", "List all classes in the assembly.");
+            list.Add(classes);
+
+            classes.Handler = CommandHandler.Create<FileInfo>(PrintClasses);
+
+            rootCommand.Add(list);
+        }
+
+        static void PrintClasses(FileInfo input)
+        {
+            using (AssemblyDefinition assembly = AssemblyDefinition.ReadAssembly(input.FullName))
+            {
+                foreach (TypeDefinition type in assembly.MainModule.Types)
+                {
+                    Console.WriteLine(type.FullName);
+                    foreach (TypeDefinition nested in type.NestedTypes)
+                    {
+                        Console.WriteLine(nested);
+                    }
+                }
+            }
+
+        }
+    }
+}

net-ssa-cli/Program.cs

@@ -0,0 +1,18 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <ItemGroup>
+    <ProjectReference Include="..\net-ssa-lib\net-ssa-lib.csproj" />
+  </ItemGroup>
+
+  <ItemGroup>
+    <PackageReference Include="Mono.Cecil" Version="0.11.3" />
+    <PackageReference Include="System.CommandLine" Version="2.0.0-beta1.21308.1" />
+  </ItemGroup>
+
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <TargetFramework>net5.0</TargetFramework>
+    <RootNamespace>net_ssa_cli</RootNamespace>
+  </PropertyGroup>
+
+</Project>