Commit 21602426 authored by Nick Mathewson's avatar Nick Mathewson 🥔
Browse files

add more clang checkers; find no new bugs.

parent 742514be

scripts/test/scan-build.sh

+7 −10
Original line number Diff line number Diff line
@@ -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 ??