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

(Cherry-pick commits fa3ebc3, 8550ecd from 'master' branch.)

diff --git a/.gitignore b/.gitignore
index a244cee96f849c90f58105ab5412076bd2dd7c35..3d3407d214c4dd21d98c93f3235c6c521eadb924 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -48,3 +48,10 @@ Makefile
 
 /tests/test*.log
 /tests/test*.trs
+
+# Code analysis tools:
+/.sv*-dir
+/cov-int
+/pvs-project.log
+/pvs-project.tasks
+/strace_out