fix: disable unsigned integer overflow sanitization in build configurations

Author: lum1n0us

build-scripts/config_common.cmake

@@ -196,7 +196,10 @@ if (NOT WAMR_BUILD_SANITIZER STREQUAL "")
     message(FATAL_ERROR "Unsupported sanitizers: ${INVALID_SANITIZERS}")
   endif()
   # common flags for all sanitizers
-  set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -g -O0 -fno-omit-frame-pointer -fno-sanitize-recover=all")
+  set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -g -O0 -fno-omit-frame-pointer -fno-sanitize-recover=all -fno-sanitize=alignment")
+  if(CMAKE_C_COMPILER_ID MATCHES ".*Clang")
+    set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fno-sanitize=unsigned-integer-overflow")
+  endif()
   if(SANITIZER_FLAGS)
     string(REPLACE ";" "," SANITIZER_FLAGS_STR "${SANITIZER_FLAGS}")
     set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fsanitize=${SANITIZER_FLAGS_STR}")

tests/fuzz/wasm-mutator-fuzz/aot-compiler/CMakeLists.txt

@@ -73,9 +73,12 @@ if(NOT IN_OSS_FUZZ)
     -fprofile-instr-generate -fcoverage-mapping
     -fno-sanitize-recover=all
     -fsanitize=address,undefined
-    -fsanitize=float-divide-by-zero,unsigned-integer-overflow,local-bounds,nullability
+    -fsanitize=float-divide-by-zero,local-bounds,nullability
     -fno-sanitize=alignment
   )
+  if(CMAKE_C_COMPILER_ID MATCHES ".*Clang")
+    target_compile_options(aotclib PUBLIC -fno-sanitize=unsigned-integer-overflow)
+  endif()
   target_link_options(aotclib PUBLIC -fsanitize=address,undefined -fprofile-instr-generate)
 endif()
 

tests/fuzz/wasm-mutator-fuzz/wasm-mutator/CMakeLists.txt

@@ -63,8 +63,11 @@ if(NOT IN_OSS_FUZZ)
     -fprofile-instr-generate -fcoverage-mapping
     -fno-sanitize-recover=all
     -fsanitize=address,undefined
-    -fsanitize=float-divide-by-zero,unsigned-integer-overflow,local-bounds,nullability
+    -fsanitize=float-divide-by-zero,local-bounds,nullability
     -fno-sanitize=alignment
   )
+  if(CMAKE_C_COMPILER_ID MATCHES ".*Clang")
+    target_compile_options(vmlib PUBLIC -fno-sanitize=unsigned-integer-overflow)
+  endif()
   target_link_options(vmlib PUBLIC -fsanitize=address,undefined -fprofile-instr-generate)
 endif()