aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichał Łyszczek <michal.lyszczek@bofc.pl>2020-05-29 19:04:17 +0200
committerMichał Łyszczek <michal.lyszczek@bofc.pl>2020-05-29 19:04:17 +0200
commitdd3c886c9e7403e2a41296a79cee0157893de2ed (patch)
tree86d8c6adeb915e2533282e72f8466e3510e3b076
parenta6baef252e29df8382a00efa8418f07549079e80 (diff)
downloadembedlog-dd3c886c9e7403e2a41296a79cee0157893de2ed.tar.gz
embedlog-dd3c886c9e7403e2a41296a79cee0157893de2ed.tar.bz2
embedlog-dd3c886c9e7403e2a41296a79cee0157893de2ed.zip
pvs-analize.sh: add script to run pvs-analyzer on the code
Signed-off-by: Michał Łyszczek <michal.lyszczek@bofc.pl>
-rw-r--r--.gitignore3
-rwxr-xr-xpvs-analyze.sh7
2 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d0266f9..668fdaa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,3 +50,6 @@ www/manuals
www/out
coverage.info
coveragereport/
+pvs-studio.log
+report.tasks
+strace_out
diff --git a/pvs-analyze.sh b/pvs-analyze.sh
new file mode 100755
index 0000000..f94fb8e
--- /dev/null
+++ b/pvs-analyze.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+make clean
+pvs-studio-analyzer trace -- make
+pvs-studio-analyzer analyze -o pvs-studio.log --disableLicenseExpirationCheck
+plog-converter -a "GA:1,2;64:1;OP:1,2,3;CS:1;MISRA:1,2" -t tasklist \
+ -o report.tasks pvs-studio.log