diff options
| author | Markus Uhlin <markus@nifty-networks.net> | 2026-01-19 23:12:16 +0100 |
|---|---|---|
| committer | Markus Uhlin <markus@nifty-networks.net> | 2026-01-19 23:12:16 +0100 |
| commit | 9685b61e5640dceee728237b92627e0ca2f8014c (patch) | |
| tree | 6fa44a1d9813c912921bea3b0eb8e1d987774394 | |
| parent | 67dd8486c5d31849e2c66ab8530b92ea67635d74 (diff) | |
runpvs.sh -- initial revision
| -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 |