| 1234567891011121314151617181920212223242526272829303132333435363738394041424344 |
- #!/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
- # on Tor.
- CHECKERS=""
- scan-build \
- $CHECKERS \
- ./configure
- make clean
- scan-build \
- $CHECKERS \
- make -j5 -k
- CHECKERS="\
- -disable-checker deadcode.DeadStores \
- -enable-checker alpha.core.CastSize \
- -enable-checker alpha.core.CastToStruct \
- -enable-checker alpha.core.IdenticalExpr \
- -enable-checker alpha.core.SizeofPtr \
- -enable-checker alpha.security.ArrayBoundV2 \
- -enable-checker alpha.security.MallocOverflow \
- -enable-checker alpha.security.ReturnPtrRange \
- -enable-checker alpha.unix.SimpleStream
- -enable-checker alpha.unix.cstring.BufferOverlap \
- -enable-checker alpha.unix.cstring.NotNullTerminated \
- -enable-checker alpha.unix.cstring.OutOfBounds \
- -enable-checker alpha.core.FixedAddr \
- -enable-checker security.insecureAPI.strcpy \
- -enable-checker alpha.unix.PthreadLock \
- -enable-checker alpha.core.PointerArithm \
- -enable-checker alpha.core.TestAfterDivZero \
- "
- # This one gives a false positive on every strcmp.
- # -enable-checker alpha.core.PointerSub
- # Needs work
- # alpha.unix.MallocWithAnnotations ??
|
