How to Coverity: Difference between revisions

Revision as of 14:33, 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-8.7.0/bin/cov-build --dir cov-int make -j3
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 9: / Line 9: @@
 #: <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>
+#: <code style="white-space: pre-wrap">~/programs/cov-analysis-linux64-8.7.0/bin/cov-build --dir cov-int make -j3</code>
 # Create a compressed tar archive of the results (xz has the best compression) with "cov-int" as the root:
 #: <code style="white-space: pre-wrap">tar caf rawtherapee.xz cov-int</code>
 # Upload the build to https://scan.coverity.com/projects/3455/builds/new?tab=upload