Use PVS-Studio Analyzer

https://www.viva64.com/en/pvs-studio/
This commit is contained in:
probonopd
2019-07-28 19:02:31 +00:00
committed by GitHub
parent fcc2a03e38
commit c721bc9e32
4 changed files with 17 additions and 5 deletions
+12 -1
View File
@@ -4,7 +4,18 @@ set -x
source /opt/qt*/bin/qt*-env.sh
/opt/qt*/bin/qmake CONFIG+=release CONFIG+=force_debug_info linuxdeployqt.pro
make -j
# make -j$(nproc) # Not doing here but below with "pvs-tool trace"
# Test
wget -q -O - http://files.viva64.com/etc/pubkey.txt | sudo apt-key add -
sudo wget -O /etc/apt/sources.list.d/viva64.list http://files.viva64.com/etc/viva64.list
sudo apt-get update
sudo apt-get -y install --no-install-recommends pvs-studio
pvs-studio-analyzer credentials probono@puredarwin.org $PVS_KEY -o ./licence.lic
pvs-studio-analyzer trace -- make -j$(nproc)
pvs-studio-analyzer analyze -e /opt -e /usr -o pvs-studio.log -j $(nproc) -l ./licence.lic
plog-converter -a GA:1,2 -t tasklist -o pvs-studio-report.txt pvs-studio.log
rm ./licence.lic
# exit on failure
set -e