-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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 tostorage
; rename unpacked directory tocov-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