.gitignore: Ignore folders and files of static code analysis tools

diff --git a/.gitignore b/.gitignore
index 1b57c8b..d2f648b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -130,3 +130,10 @@ stamp-h1
 
 # Stuff from VS build system and IDE
 *.vcproj.*.user
+
+# Code analysis tools:
+/.sv*-dir/
+/cov-int/
+/pvs-project.log
+/pvs-project.tasks
+/strace_out