Expand undefined sanitizer examples

Also, changed the default for detected undefined issues to stop program
execution and return a non-zero code.

Author: StableCoder

.gitlab-ci.yml

@@ -469,16 +469,10 @@ Linux/Static Analysis:
     CMAKE_OPTIONS: -D CLANG_TIDY=ON -D CPPCHECK=ON
   <<: *linux_success_template
 
-Linux/GCC/Baseline:
-  variables:
-    CTEST_OPTIONS: --verbose
-  <<: *linux_success_template
-
 Linux/Clang/Baseline:
   variables:
     CC: clang
     CXX: clang++
-    CTEST_OPTIONS: --verbose
   <<: *linux_success_template
 
 Linux/GCC/ThreadSanitizer:
@@ -527,16 +521,14 @@ Linux/Clang/MemorySanitizer:
 Linux/GCC/UndefinedSanitizer:
   variables:
     CMAKE_OPTIONS: -D EXAMPLE_USE_SANITIZER=undefined
-    CTEST_OPTIONS: --verbose
-  <<: *linux_success_template
+  <<: *linux_failure_template
 
 Linux/Clang/UndefinedSanitizer:
   variables:
     CC: clang
     CXX: clang++
     CMAKE_OPTIONS: -D EXAMPLE_USE_SANITIZER=undefined
-    CTEST_OPTIONS: --verbose
-  <<: *linux_success_template
+  <<: *linux_failure_template
 
 .macos_success_template: &macos_success_template
   stage: Sanitizers
@@ -565,15 +557,12 @@ Linux/Clang/UndefinedSanitizer:
     - "! ctest --test-dir build --output-on-failure ${CTEST_OPTIONS}"
 
 macOS/AppleClang/Baseline:
-  variables:
-    CTEST_OPTIONS: --verbose
   <<: *macos_success_template
 
 macOS/Clang/Baseline:
   variables:
     CC: clang
     CXX: clang++
-    CTEST_OPTIONS: --verbose
   <<: *macos_success_template
 
 macOS/AppleClang/ThreadSanitizer:
@@ -610,16 +599,14 @@ macOS/Clang/LeakSanitizer:
 macOS/AppleClang/UndefinedSanitizer:
   variables:
     CMAKE_OPTIONS: -D EXAMPLE_USE_SANITIZER=undefined
-    CTEST_OPTIONS: --verbose
-  <<: *macos_success_template
+  <<: *macos_failure_template
 
 macOS/Clang/UndefinedSanitizer:
   variables:
     CC: clang
     CXX: clang++
     CMAKE_OPTIONS: -D EXAMPLE_USE_SANITIZER=undefined
-    CTEST_OPTIONS: --verbose
-  <<: *macos_success_template
+  <<: *macos_failure_template
 
 Windows/MSVC/Address Sanitizer:
   image: stabletec/build-core:windows-ltsc2022
@@ -688,14 +675,6 @@ Linux/GCC/UndefinedSanitizer (LEGACY):
     CTEST_OPTIONS: --verbose
   <<: *linux_success_template
 
-Linux/Clang/UndefinedSanitizer (LEGACY):
-  variables:
-    CC: clang
-    CXX: clang++
-    CMAKE_OPTIONS: -D USE_SANITIZER=undefined
-    CTEST_OPTIONS: --verbose
-  <<: *linux_success_template
-
 Windows/MSVC/Address Sanitizer (LEGACY):
   image: stabletec/build-core:windows-ltsc2022
   stage: Sanitizers

example/all/CMakeLists.txt

@@ -41,7 +41,7 @@ set_sanitizer_options(leak DEFAULT)
 set_sanitizer_options(memory DEFAULT)
 set_sanitizer_options(memorywithorigins DEFAULT SANITIZER memory
                       -fsanitize-memory-track-origins)
-set_sanitizer_options(undefined DEFAULT)
+set_sanitizer_options(undefined DEFAULT -fno-sanitize-recover=undefined)
 set_sanitizer_options(thread DEFAULT)
 
 set(EXAMPLE_USE_SANITIZER
@@ -113,6 +113,13 @@ target_code_coverage(msan_uninitialized_pointer_used AUTO ALL)
 add_test(msan_uninitialized_pointer_used msan_uninitialized_pointer_used)
 
 # Fails with UndefinedBehaviourSanitizer
-add_executable(ubsanFail ../src/ubsan_fail.cpp)
-target_code_coverage(ubsanFail AUTO ALL)
-add_test(ubsan ubsanFail)
+add_executable(ubsan_dereferencing_misaligned_pointer
+               ../src/ubsan/dereferencing_misaligned_pointer.c)
+target_code_coverage(ubsan_dereferencing_misaligned_pointer AUTO ALL)
+add_test(ubsan_dereferencing_misaligned_pointer
+         ubsan_dereferencing_misaligned_pointer)
+
+add_executable(ubsan_signed_integer_overflow
+               ../src/ubsan/signed_integer_overflow.c)
+target_code_coverage(ubsan_signed_integer_overflow AUTO ALL)
+add_test(ubsan_signed_integer_overflow ubsan_signed_integer_overflow)

example/src/ubsan/dereferencing_misaligned_pointer.c

@@ -0,0 +1,17 @@
+// example of a program that dereferences a mis-aligned pointer
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+int main(int argc, char **argv) {
+    int *array = malloc(10 * sizeof(int));
+    memset(array, 0, 10 * sizeof(int));
+    // aligned
+    printf("aligned: %i", *array);
+    // mis-aligned
+    int *misArray = (int *)((char *)(array) + 1);
+    printf("aligned: %i", *misArray); // failure point
+
+    free(array);
+    return 0;
+}

example/src/ubsan/signed_integer_overflow.c

@@ -0,0 +1,6 @@
+// example program that performs a signed integer overflow
+int main(int argc, char **argv) {
+    int k = 0x7fffffff;
+    k += argc; // failure point
+    return 0;
+}