summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Mathewson <nickm@torproject.org>2015-09-22 11:37:50 -0400
committerNick Mathewson <nickm@torproject.org>2015-09-22 11:37:50 -0400
commit216024261b9f433479bf65d6f238f00da0167b46 (patch)
tree3d631f6d7e5f3ecdbdf383d5ab6285aa84afcc37
parent742514be2f4108953308d20d5967de590ba4100d (diff)
downloadtor-216024261b9f433479bf65d6f238f00da0167b46.tar.gz
tor-216024261b9f433479bf65d6f238f00da0167b46.zip
add more clang checkers; find no new bugs.
-rw-r--r--scripts/test/scan-build.sh17
1 files changed, 7 insertions, 10 deletions
diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh
index 56941f2311..36e69e6d00 100644
--- a/scripts/test/scan-build.sh
+++ b/scripts/test/scan-build.sh
@@ -3,7 +3,7 @@
# See LICENSE for licensing information
#
# This script is used for running a bunch of clang scan-build checkers
-# on Tor.
+# on Tor.
CHECKERS="\
-disable-checker deadcode.DeadStores \
@@ -19,7 +19,10 @@ CHECKERS="\
-enable-checker alpha.unix.cstring.NotNullTerminated \
-enable-checker alpha.unix.cstring.OutOfBounds \
-enable-checker alpha.core.FixedAddr \
- -enable-checker security.insecureAPI.strcpy
+ -enable-checker security.insecureAPI.strcpy \
+ -enable-checker alpha.unix.PthreadLock \
+ -enable-checker alpha.core.PointerArithm \
+ -enable-checker alpha.core.TestAfterDivZero \
"
scan-build \
@@ -31,14 +34,8 @@ scan-build \
make -j2 -k
-# Haven't tried this yet.
-# -enable-checker alpha.unix.PthreadLock
-
# This one gives a false positive on every strcmp.
# -enable-checker alpha.core.PointerSub
-# This one hates it when we stick a nonzero const in a pointer.
-# -enable-checker alpha.core.FixedAddr
-
-# This one crashes sometimes for me.
-# -enable-checker alpha.deadcode.IdempotentOperations
+# Needs work
+# alpha.unix.MallocWithAnnotations ??