quantum-c#: Add hash tests

Author: fcasal

csharp/ql/test/experimental/library-tests/quantum/dotnet/hashes/HashExample.cs

@@ -0,0 +1,69 @@
+using System;
+using System.IO;
+using System.Security.Cryptography;
+using System.Text;
+
+namespace QuantumExamples.Cryptography
+{
+    public class HashExample
+    {
+        public static void RunExample()
+        {
+            const string originalMessage = "This is a message to hash!";
+
+            // Demonstrate various hash algorithms
+            DemonstrateBasicHashing(originalMessage);
+            DemonstrateStreamHashing(originalMessage);
+            DemonstrateOneShotHashing(originalMessage);
+        }
+
+        private static void DemonstrateBasicHashing(string message)
+        {
+            byte[] messageBytes = Encoding.UTF8.GetBytes(message);
+
+            using (SHA256 sha256 = SHA256.Create())
+            {
+                byte[] hash = sha256.ComputeHash(messageBytes);
+                Console.WriteLine("SHA256 hash: {0}", Convert.ToBase64String(hash));
+            }
+
+            using (SHA1 sha1 = SHA1.Create())
+            {
+                byte[] hash = sha1.ComputeHash(messageBytes);
+                Console.WriteLine("SHA1 hash: {0}", Convert.ToBase64String(hash));
+            }
+
+            using (MD5 md5 = MD5.Create())
+            {
+                byte[] hash = md5.ComputeHash(messageBytes);
+                Console.WriteLine("MD5 hash: {0}", Convert.ToBase64String(hash));
+            }
+        }
+
+        private static void DemonstrateStreamHashing(string message)
+        {
+            using SHA256 sha256 = SHA256.Create();
+            using MemoryStream stream = new MemoryStream();
+            byte[] messageBytes = Encoding.UTF8.GetBytes(message);
+            stream.Write(messageBytes, 0, messageBytes.Length);
+            stream.Position = 0;
+
+            byte[] hash = sha256.ComputeHash(stream);
+            Console.WriteLine("Stream-based SHA256 hash: {0}", Convert.ToBase64String(hash));
+        }
+
+        private static void DemonstrateOneShotHashing(string message)
+        {
+            byte[] messageBytes = Encoding.UTF8.GetBytes(message);
+
+            byte[] sha256Hash = SHA256.HashData(messageBytes);
+            Console.WriteLine("One-shot SHA256 hash: {0}", Convert.ToBase64String(sha256Hash));
+
+            byte[] sha1Hash = SHA1.HashData(messageBytes);
+            Console.WriteLine("One-shot SHA1 hash: {0}", Convert.ToBase64String(sha1Hash));
+
+            byte[] md5Hash = MD5.HashData(messageBytes);
+            Console.WriteLine("One-shot MD5 hash: {0}", Convert.ToBase64String(md5Hash));
+        }
+    }
+}

csharp/ql/test/experimental/library-tests/quantum/dotnet/hashes/hash_operations.expected

@@ -0,0 +1,7 @@
+| HashExample.cs:26:31:26:62 | HashOperation | HashExample.cs:26:31:26:62 | Digest | HashExample.cs:26:50:26:61 | Message | SHA2 | SHA256 |
+| HashExample.cs:32:31:32:60 | HashOperation | HashExample.cs:32:31:32:60 | Digest | HashExample.cs:32:48:32:59 | Message | SHA1 | SHA1 |
+| HashExample.cs:38:31:38:59 | HashOperation | HashExample.cs:38:31:38:59 | Digest | HashExample.cs:38:47:38:58 | Message | MD5 | MD5 |
+| HashExample.cs:51:27:51:52 | HashOperation | HashExample.cs:51:27:51:52 | Digest | HashExample.cs:48:26:48:37 | Message | SHA2 | SHA256 |
+| HashExample.cs:59:33:59:61 | HashOperation | HashExample.cs:59:33:59:61 | Digest | HashExample.cs:59:49:59:60 | Message | SHA2 | SHA256 |
+| HashExample.cs:62:31:62:57 | HashOperation | HashExample.cs:62:31:62:57 | Digest | HashExample.cs:62:45:62:56 | Message | SHA1 | SHA1 |
+| HashExample.cs:65:30:65:55 | HashOperation | HashExample.cs:65:30:65:55 | Digest | HashExample.cs:65:43:65:54 | Message | MD5 | MD5 |

csharp/ql/test/experimental/library-tests/quantum/dotnet/hashes/hash_operations.ql

@@ -0,0 +1,6 @@
+import csharp
+import experimental.quantum.Language
+
+from Crypto::HashOperationNode n, Crypto::AlgorithmNode algo
+where algo = n.getAKnownAlgorithm()
+select n, n.getDigest(), n.getInputArtifact(), algo.getAlgorithmName(), algo.getRawAlgorithmName()

csharp/ql/test/experimental/library-tests/quantum/dotnet/hashes/options

@@ -0,0 +1,2 @@
+semmle-extractor-options: /nostdlib /noconfig
+semmle-extractor-options: --load-sources-from-project:${testdir}/../../../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj