add more clang checkers; find no new bugs.

diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh
index 56941f2311ed81750c22c40f400a2ef80ce3f52b..36e69e6d00b8cd0b5d56c84d4ec020031c5b0177 100644 (file)
--- 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 ??