diff options
| -rwxr-xr-x | runpvs.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/runpvs.sh b/runpvs.sh new file mode 100755 index 0000000..d751b9e --- /dev/null +++ b/runpvs.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +make clean +pvs-studio-analyzer trace -- make +pvs-studio-analyzer analyze -a "GA;64;OP;CS;OWASP" --security-related-issues --intermodular +plog-converter -o tmp -a "GA:1,2;64:1;OP:1,2,3;CS:1;OWASP:1" -t fullhtml PVS-Studio.log |