Skip to content

Running Coverity Scan

Lode Vandevenne edited this page Mar 18, 2019 · 1 revision
  • make directory storage
  • login https://scan.coverity.com/users/sign_in
  • download https://scan.coverity.com/download/cxx/linux64 and unpack archive to storage; rename unpacked directory to cov-analysis (remove suffix)
  • start docker container docker run -it -v pwd/storage:/storage debian:testing /bin/bash
  • execute commands in container:
apt-get update && apt-get -y install  build-essential git
git clone http://github.com/google/brotli
cd brotli

cat >> fix-coverity.h <<EOF
#ifndef COVERITY_FIXED
#define COVERITY_FIXED
#ifdef __COVERITY_GCC_VERSION_AT_LEAST
typedef float _Float128 __attribute__((__vector_size__(128)));
#endif
#endif
EOF

cat fix-coverity.h c/enc/fast_log.h >fixed-fast_log.h
cp fixed-fast_log.h ./c/enc/fast_log.h

/storage/cov-analysis/bin/cov-build --dir cov-int make -j 4 brotli
tar czvf /storage/brotli.tgz cov-int

exit
  • submit storage/brotli.tgz
Clone this wiki locally