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

(Cherry-pick commits 8e4544c, eaa3ff2 from 'master' branch.)

diff --git a/.gitignore b/.gitignore
index 1b57c8b1389ca54ec14c13593a6530ee63c65a33..df2f9766d930fcdb7100abff7890e1eff420c660 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