2014-04-25 07:29:36 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
# Copyright 2014 The Tor Project, Inc
|
|
|
|
|
# See LICENSE for licensing information
|
|
|
|
|
#
|
|
|
|
|
# This script is used for running a bunch of clang scan-build checkers
|
2015-09-22 17:37:50 +02:00
|
|
|
# on Tor.
|
2014-04-25 07:29:36 +02:00
|
|
|
|
2017-09-13 03:31:59 +02:00
|
|
|
# These don't seem to cause false positives in our code, so let's turn
|
|
|
|
|
# them on.
|
|
|
|
|
CHECKERS="\
|
|
|
|
|
-enable-checker alpha.core.CallAndMessageUnInitRefArg \
|
|
|
|
|
-enable-checker alpha.core.CastToStruct \
|
|
|
|
|
-enable-checker alpha.core.Conversion \
|
|
|
|
|
-enable-checker alpha.core.FixedAddr \
|
|
|
|
|
-enable-checker alpha.core.IdenticalExpr \
|
|
|
|
|
-enable-checker alpha.core.PointerArithm \
|
|
|
|
|
-enable-checker alpha.core.SizeofPtr \
|
|
|
|
|
-enable-checker alpha.core.TestAfterDivZero \
|
|
|
|
|
-enable-checker alpha.security.MallocOverflow \
|
|
|
|
|
-enable-checker alpha.security.ReturnPtrRange \
|
|
|
|
|
-enable-checker alpha.unix.BlockInCriticalSection \
|
|
|
|
|
-enable-checker alpha.unix.Chroot \
|
|
|
|
|
-enable-checker alpha.unix.PthreadLock \
|
|
|
|
|
-enable-checker alpha.unix.PthreadLock \
|
|
|
|
|
-enable-checker alpha.unix.SimpleStream \
|
|
|
|
|
-enable-checker alpha.unix.Stream \
|
|
|
|
|
-enable-checker alpha.unix.cstring.BufferOverlap \
|
|
|
|
|
-enable-checker alpha.unix.cstring.NotNullTerminated \
|
|
|
|
|
-enable-checker alpha.valist.CopyToSelf \
|
|
|
|
|
-enable-checker alpha.valist.Uninitialized \
|
|
|
|
|
-enable-checker alpha.valist.Unterminated \
|
|
|
|
|
-enable-checker security.FloatLoopCounter \
|
|
|
|
|
-enable-checker security.insecureAPI.strcpy \
|
|
|
|
|
"
|
|
|
|
|
|
|
|
|
|
# These have high false-positive rates.
|
|
|
|
|
EXTRA_CHECKERS="\
|
|
|
|
|
-enable-checker alpha.security.ArrayBoundV2 \
|
|
|
|
|
-enable-checker alpha.unix.cstring.OutOfBounds \
|
|
|
|
|
-enable-checker alpha.core.CastSize \
|
|
|
|
|
"
|
|
|
|
|
|
|
|
|
|
# These don't seem to generate anything useful
|
|
|
|
|
NOISY_CHECKERS="\
|
|
|
|
|
-enable-checker alpha.clone.CloneChecker \
|
|
|
|
|
-enable-checker alpha.deadcode.UnreachableCode \
|
|
|
|
|
"
|
2017-09-12 23:43:40 +02:00
|
|
|
|
2017-09-13 03:42:36 +02:00
|
|
|
if test "x$SCAN_BUILD_OUTPUT" != "x"; then
|
|
|
|
|
OUTPUTARG="-o $SCAN_BUILD_OUTPUT"
|
|
|
|
|
else
|
|
|
|
|
OUTPUTARG=""
|
|
|
|
|
fi
|
|
|
|
|
|
2017-09-12 23:43:40 +02:00
|
|
|
scan-build \
|
|
|
|
|
$CHECKERS \
|
|
|
|
|
./configure
|
|
|
|
|
|
|
|
|
|
make clean
|
|
|
|
|
|
|
|
|
|
scan-build \
|
2017-09-13 03:42:36 +02:00
|
|
|
$CHECKERS $OUTPUTARG \
|
2017-09-12 23:43:40 +02:00
|
|
|
make -j5 -k
|
|
|
|
|
|
2014-04-25 07:29:36 +02:00
|
|
|
CHECKERS="\
|
|
|
|
|
"
|
|
|
|
|
|
|
|
|
|
# This one gives a false positive on every strcmp.
|
|
|
|
|
# -enable-checker alpha.core.PointerSub
|
|
|
|
|
|
2015-09-22 17:37:50 +02:00
|
|
|
# Needs work
|
2017-09-13 03:31:59 +02:00
|
|
|
# -enable-checker alpha.unix.MallocWithAnnotations
|
