diff options
| author | Nick Mathewson <nickm@torproject.org> | 2018-12-11 09:25:46 -0500 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2018-12-11 09:25:46 -0500 |
| commit | b65166750d656f6f503e569f733b1f6c10d1c7f4 (patch) | |
| tree | 450827d0803695f86e6de528f0e3987bba8b877a /scripts | |
| parent | c4c372f28151094b8f86337d2fecc269d7802038 (diff) | |
| parent | da264f7c766b332f596a92766f7625c4a17abf70 (diff) | |
| download | tor-b65166750d656f6f503e569f733b1f6c10d1c7f4.tar.gz tor-b65166750d656f6f503e569f733b1f6c10d1c7f4.zip | |
Merge remote-tracking branch 'rl1987/ticket28007_take2'
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/test/scan-build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh index 8d126cbcee..26e05ff101 100755 --- a/scripts/test/scan-build.sh +++ b/scripts/test/scan-build.sh @@ -33,6 +33,7 @@ CHECKERS="\ -enable-checker security.insecureAPI.strcpy \ " +# shellcheck disable=SC2034 # These have high false-positive rates. EXTRA_CHECKERS="\ -enable-checker alpha.security.ArrayBoundV2 \ @@ -40,6 +41,7 @@ EXTRA_CHECKERS="\ -enable-checker alpha.core.CastSize \ " +# shellcheck disable=SC2034 # These don't seem to generate anything useful NOISY_CHECKERS="\ -enable-checker alpha.clone.CloneChecker \ @@ -52,6 +54,7 @@ else OUTPUTARG="" fi +# shellcheck disable=SC2086 scan-build \ $CHECKERS \ ./configure @@ -61,11 +64,13 @@ scan-build \ # Make this not get scanned for dead assignments, since it has lots of # dead assignments we don't care about. +# shellcheck disable=SC2086 scan-build \ $CHECKERS \ -disable-checker deadcode.DeadStores \ make -j5 -k ./src/ext/ed25519/ref10/libed25519_ref10.a +# shellcheck disable=SC2086 scan-build \ $CHECKERS $OUTPUTARG \ make -j5 -k |