]> git.ipfire.org Git - thirdparty/suricata.git/commitdiff
github-ci: add more scan-build checks 8763/head
authorVictor Julien <vjulien@oisf.net>
Tue, 25 Apr 2023 16:10:01 +0000 (18:10 +0200)
committerVictor Julien <vjulien@oisf.net>
Tue, 25 Apr 2023 16:10:04 +0000 (18:10 +0200)
Explicitly disable:
security.insecureAPI.DeprecatedOrUnsafeBufferHandling
optin.performance.Padding

.github/workflows/scan-build.yml

index d7bb1f6c26d7fb0906a7a6b1200c3741a8505be4..a56b1634a143bd1f038f9970f9a4a6798cf9f21f 100644 (file)
@@ -66,6 +66,27 @@ jobs:
         env:
           CC: clang-16
       # exclude libhtp from the analysis
-      - run: scan-build-16 --status-bugs --exclude libhtp/ make
+      - run: |
+          scan-build-16 --status-bugs --exclude libhtp/ \
+                -enable-checker valist.Uninitialized \
+                -enable-checker valist.CopyToSelf \
+                -enable-checker valist.Unterminated \
+                -enable-checker security.insecureAPI.bcmp \
+                -enable-checker security.insecureAPI.bcopy \
+                -enable-checker security.insecureAPI.bzero \
+                -enable-checker security.insecureAPI.rand \
+                -enable-checker security.insecureAPI.strcpy \
+                -enable-checker security.insecureAPI.decodeValueOfObjCType \
+                -enable-checker security.FloatLoopCounter \
+                -enable-checker optin.portability.UnixAPI \
+                -enable-checker optin.performance.GCDAntipattern \
+                -enable-checker nullability.NullableReturnedFromNonnull \
+                -enable-checker nullability.NullablePassedToNonnull \
+                -enable-checker nullability.NullableDereferenced \
+                \
+                -disable-checker security.insecureAPI.DeprecatedOrUnsafeBufferHandling \
+                -disable-checker optin.performance.Padding \
+                \
+                make
         env:
           CC: clang-16