- #generate sloccount report
- sloccount --duplicates --wide --details $WORKSPACE | grep -v -e '.git' -e 'mpich3-test' -e 'sloccount.sc' -e 'isp/umpire' -e 'build/' -e 'xml_coverage.xml' -e 'CTestResults_memcheck.xml' -e 'DynamicAnalysis.xml' > $WORKSPACE/sloccount.sc
+ #generate sloccount report
+ sloccount --duplicates --wide --details $WORKSPACE | grep -v -e '.git' -e 'mpich3-test' -e 'sloccount.sc' -e 'isp/umpire' -e 'build/' -e 'xml_coverage.xml' -e 'CTestResults_memcheck.xml' -e 'DynamicAnalysis.xml' > $WORKSPACE/sloccount.sc
+
+ #generate PVS-studio report
+ pvs-studio-analyzer analyze -f $BUILDFOLDER/compile_commands.json -o $WORKSPACE/pvs.log -e $WORKSPACE/src/xbt/automaton -j$NUMPROC
+ #disable V1042 (copyleft), V521 (commas in catch.hpp)
+ plog-converter -t html -o $WORKSPACE/pvs.html -d V1042,V521 $WORKSPACE/pvs.log