Added more sanitizers to NS.

Author: kuzminrobin

src/Qir/Runtime/test-qir-runtime.ps1

@@ -6,6 +6,10 @@
 # TODO: `ASAN_OPTIONS=check_initialization_order=1` (https://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking).
 # TODO: macOS: `ASAN_OPTIONS=detect_leaks=1` (https://clang.llvm.org/docs/AddressSanitizer.html#memory-leak-detection).
 
+$env:ASAN_OPTIONS = "check_initialization_order=true:detect_stack_use_after_return=true:print_stats=true:" `
+    + "alloc_dealloc_mismatch=true:new_delete_type_mismatch=true:strict_init_order=true:strict_string_checks=true:" `
+    + "detect_invalid_pointer_pairs=2:detect_invalid_pointer_pairs=2"
+
 if (-not (Test-CTest (Join-Path $PSScriptRoot bin $Env:BUILD_CONFIGURATION unittests) "QIR Runtime")) {
     throw "At least one project failed testing. Check the logs."
 }

src/Qir/Samples/test-qir-samples.ps1

@@ -5,6 +5,9 @@
 
 # TODO: `ASAN_OPTIONS=check_initialization_order=1` (https://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking).
 # TODO: macOS: `ASAN_OPTIONS=detect_leaks=1` (https://clang.llvm.org/docs/AddressSanitizer.html#memory-leak-detection).
+$env:ASAN_OPTIONS = "check_initialization_order=true:detect_stack_use_after_return=true:print_stats=true:" `
+    + "alloc_dealloc_mismatch=true:new_delete_type_mismatch=true:strict_init_order=true:strict_string_checks=true:" `
+    + "detect_invalid_pointer_pairs=2:detect_invalid_pointer_pairs=2"
 
 if (-not (Test-CTest (Join-Path $PSScriptRoot bin $Env:BUILD_CONFIGURATION StandaloneInputReference) "QIR Samples (StandaloneInputReference)")) {
     throw "At least one project failed testing. Check the logs."

src/Qir/Tests/test-qir-tests.ps1

@@ -16,14 +16,17 @@ if ($Env:BUILD_CONFIGURATION -eq "Debug")
     if (-not ($IsWindows))
     {
         $env:LSAN_OPTIONS += "suppressions=../../../../LSan.ignore"    # https://clang.llvm.org/docs/AddressSanitizer.html#suppressing-memory-leaks
-        if (-not ($IsMacOS))
-        {
-            $env:ASAN_OPTIONS += "check_initialization_order=1"    # https://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking
-        }
+        #if (-not ($IsMacOS))
+        #{
+        #    $env:ASAN_OPTIONS += "check_initialization_order=1"    # https://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking
+        #}
         #else    # AddressSanitizer: detect_leaks is not supported on this platform. Re-enable this once supported.
         #{
         #    $env:ASAN_OPTIONS += "detect_leaks=1"      # https://clang.llvm.org/docs/AddressSanitizer.html#memory-leak-detection
         #}
+        $env:ASAN_OPTIONS = "check_initialization_order=true:detect_stack_use_after_return=true:print_stats=true:" `
+            + "alloc_dealloc_mismatch=true:new_delete_type_mismatch=true:strict_init_order=true:strict_string_checks=true:" `
+            + "detect_invalid_pointer_pairs=2:detect_invalid_pointer_pairs=2"
     }
 }
 

src/Simulation/Native/build-native-simulator.ps1

@@ -10,11 +10,23 @@ if (-not (Test-Path $nativeBuild)) {
 }
 Push-Location $nativeBuild
 
-$SANITIZE_FLAGS="-fsanitize=undefined " `
+$SANITIZE_FLAGS=`
+    "-fsanitize=undefined " `
+    + "-fsanitize=shift -fsanitize=shift-base " `
+    + "-fsanitize=integer-divide-by-zero -fsanitize=float-divide-by-zero " `
+    + "-fsanitize=unreachable " `
+    + "-fsanitize=vla-bound -fsanitize=null -fsanitize=return " `
+    + "-fsanitize=signed-integer-overflow -fsanitize=bounds -fsanitize=bounds-strict -fsanitize=alignment -fsanitize=object-size " `
+    + "-fsanitize=float-cast-overflow -fsanitize=nonnull-attribute -fsanitize=returns-nonnull-attribute -fsanitize=bool -fsanitize=enum " `
+    + "-fsanitize=vptr -fsanitize=pointer-overflow -fsanitize=builtin " `
+    + "-fsanitize=implicit-conversion -fsanitize=local-bounds -fsanitize=nullability " `
+    `
     + "-fsanitize=address " `
+    + "-fsanitize=pointer-compare -fsanitize=pointer-subtract " `
+    + "-fsanitize-address-use-after-scope " `
     + "-fno-omit-frame-pointer -fno-optimize-sibling-calls"
-    #+ "-fsanitize=float-divide-by-zero " 
-    #+ "-fsanitize=unsigned-integer-overflow -fsanitize=implicit-conversion -fsanitize=local-bounds -fsanitize=nullability " 
+
+    #+ "-fsanitize=unsigned-integer-overflow "
 
 # There should be no space after -D CMAKE_BUILD_TYPE= but if we provide the environment variable inline, without
 # the space it doesn't seem to get substituted... With invalid -D CMAKE_BUILD_TYPE argument cmake silently produces