Expand memory sanitizer examples

StableCoder · StableCoder · commit ce641523cc88 · 2024-09-25T20:18:27.000-04:00
Examples of using an uninitialized value or pointer.
diff --git a/example/all/CMakeLists.txt b/example/all/CMakeLists.txt
@@ -102,9 +102,15 @@ target_code_coverage(asan_use_after_scope AUTO ALL)
 add_test(asan_use_after_scope asan_use_after_scope)
 
 # Fails with MemorySanitizer
-add_executable(msanFail ../src/msan_fail.cpp)
-target_code_coverage(msanFail AUTO ALL)
-add_test(msan msanFail)
+add_executable(msan_uninitialized_value_used
+               ../src/msan/uninitialized_value_used.c)
+target_code_coverage(msan_uninitialized_value_used AUTO ALL)
+add_test(msan_uninitialized_value_used msan_uninitialized_value_used)
+
+add_executable(msan_uninitialized_pointer_used
+               ../src/msan/uninitialized_pointer_used.c)
+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)
diff --git a/example/src/msan/uninitialized_pointer_used.c b/example/src/msan/uninitialized_pointer_used.c
@@ -0,0 +1,8 @@
+// example of using an uninitialized pointer
+#include <stdio.h>
+
+int main(int argc, char **argv) {
+    int *val;
+    printf("val: %i", *val);
+    return 0;
+}
diff --git a/example/src/msan/uninitialized_value_used.c b/example/src/msan/uninitialized_value_used.c
@@ -0,0 +1,8 @@
+// example of using an uninitialized value
+#include <stdio.h>
+
+int main(int argc, char **argv) {
+    int val;
+    printf("val: %i", val);
+    return 0;
+}
diff --git a/example/src/msan_fail.cpp b/example/src/msan_fail.cpp
