]> git.ipfire.org Git - thirdparty/curl.git/commitdiff
GHA: add a memory-sanitizer job
authorDaniel Stenberg <daniel@haxx.se>
Wed, 22 Mar 2023 12:39:05 +0000 (13:39 +0100)
committerDaniel Stenberg <daniel@haxx.se>
Fri, 24 Mar 2023 10:04:59 +0000 (11:04 +0100)
Closes #10815

.github/workflows/linux.yml

index d1c1c6d8aea39aa52ffdec33020a76170725d561..e752aefd3e806b3548f34dd81ba343a56eb65fcb 100644 (file)
@@ -114,6 +114,16 @@ jobs:
             LIBS="-ldl -lubsan"
             --with-openssl --enable-debug --enable-websockets
 
+        - name: memory-sanitizer
+          install_packages: clang
+          install_steps:
+          configure: >
+            CC=clang
+            CFLAGS="-fsanitize=memory -Wformat -Werror=format-security -Werror=array-bounds -g"
+            LDFLAGS="-fsanitize=memory"
+            LIBS="-ldl"
+            --without-ssl --without-zlib --without-brotli --without-zstd --without-libpsl --without-nghttp2 --enable-debug --enable-websocketsx
+
         - name: event-based
           install_packages: libssh-dev valgrind
           configure: --enable-debug --disable-shared --disable-threaded-resolver --with-libssh --with-openssl
@@ -296,6 +306,9 @@ jobs:
     - run: make V=1
       name: 'make'
 
+    - run: ./src/curl -V
+      name: 'check curl -V output'
+
     - run: make V=1 examples
       name: 'make examples'