12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485 |
- #!/bin/sh
- 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 valist.CopyToSelf \
- -enable-checker valist.Uninitialized \
- -enable-checker valist.Unterminated \
- -enable-checker security.FloatLoopCounter \
- -enable-checker security.insecureAPI.strcpy \
- "
- EXTRA_CHECKERS="\
- -enable-checker alpha.security.ArrayBoundV2 \
- -enable-checker alpha.unix.cstring.OutOfBounds \
- -enable-checker alpha.core.CastSize \
- "
- NOISY_CHECKERS="\
- -enable-checker alpha.clone.CloneChecker \
- -enable-checker alpha.deadcode.UnreachableCode \
- "
- if test "x$SCAN_BUILD_OUTPUT" != "x"; then
- OUTPUTARG="-o $SCAN_BUILD_OUTPUT"
- else
- OUTPUTARG=""
- fi
- scan-build \
- $CHECKERS \
- ./configure
- scan-build \
- make clean
- scan-build \
- $CHECKERS \
- -disable-checker deadcode.DeadStores \
- make -j5 -k ./src/ext/ed25519/ref10/libed25519_ref10.a
- scan-build \
- $CHECKERS $OUTPUTARG \
- make -j5 -k
- CHECKERS="\
- "
|