From 216024261b9f433479bf65d6f238f00da0167b46 Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Tue, 22 Sep 2015 11:37:50 -0400
Subject: [PATCH] add more clang checkers; find no new bugs.

---
 scripts/test/scan-build.sh | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh
index 56941f231..36e69e6d0 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 ??