How to Coverity: Difference between revisions

Revision as of 14:32, 9 April 2017

Download Coverity Build Tool https://scan.coverity.com/download and extract to e.g. $HOME/programs/
cd to RawTherapee source clone:
cd ~/repo-rt
Clean up:
make clean && ./clean
Run "cov-build", either passing a script which compiles RawTherapee:
~/programs/cov-analysis-linux64-7.7.0.4/bin/cov-build --dir cov-int ./tools/buildRT -b

or by passing the compilation instructions manually, in which case first create the build directory, enter it and run "cmake":

mkdir build && cd build && cmake -DPROC_TARGET_NUMBER="2" -DBUILD_BUNDLE="ON" ..

and then "cov-build" with "make":

~/programs/cov-analysis-linux64-7.7.0.4/bin/cov-build --dir cov-int make -j8
Create a compressed tar archive of the results (xz has the best compression) with "cov-int" as the root:
tar caf rawtherapee.xz cov-int
Upload the build to https://scan.coverity.com/projects/3455/builds/new?tab=upload

@@ Line 7: / Line 7: @@
 #: <code style="white-space: pre-wrap">~/programs/cov-analysis-linux64-7.7.0.4/bin/cov-build --dir cov-int ./tools/buildRT -b</code>
 #: or by passing the compilation instructions manually, in which case first create the build directory, enter it and run "cmake":
-#: <code style="white-space: pre-wrap">mkdir build && cd build && cmake -DCMAKE_CXX_FLAGS="-std=c++11" -DWITH_LTO="OFF" -DCMAKE_BUILD_TYPE="release" -DPROC_TARGET_NUMBER="2" -DBUILD_BUNDLE="ON" -DBINDIR="." -DDATADIR="." ..</code>
+#: <code style="white-space: pre-wrap">mkdir build && cd build && cmake -DPROC_TARGET_NUMBER="2" -DBUILD_BUNDLE="ON" ..</code>
 #: and then "cov-build" with "make":
 #: <code style="white-space: pre-wrap">~/programs/cov-analysis-linux64-7.7.0.4/bin/cov-build --dir cov-int make -j8</code>