From e08c61cda57fd4cbbc4219600ca043ae888b3bc8 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Mon, 16 Apr 2018 23:18:17 +0200
Subject: [PATCH] Update entries for clang-tidy and coverity

---
 9.0/paper.bib | 14 ++++++++++++++
 9.0/paper.tex | 18 +++++++++---------
 2 files changed, 23 insertions(+), 9 deletions(-)

diff --git a/9.0/paper.bib b/9.0/paper.bib
index 53dea58..535f4da 100644
--- a/9.0/paper.bib
+++ b/9.0/paper.bib
@@ -593,9 +593,23 @@ year = {2009}
   year={2005},
   publisher={ACM}
 }
+
 @article{assimp,
   title={Open asset import library (assimp)},
   author={Schulze, Thomas and Gessler, Alexander and Kulling, Kim and Nadlinger, David and Klein, Jonathan and Sibly, Mark and Gubisch, Matthias},
   journal={Computer Software, URL: https://github. com/assimp/assimp},
   year={2012}
 }
+
+@Misc{clang-tidy,
+  Title                    = {{Clang-Tidy}},
+  Author                   = {LLVM},
+  HowPublished             = {\url{http://clang.llvm.org/extra/clang-tidy/}},
+}
+
+@Misc{coverity,
+  Title                    = {Coverity Scan},
+  Author                   = {Synopsys, Inc.},
+  HowPublished             = {\url{https://scan.coverity.com}},
+}
+
diff --git a/9.0/paper.tex b/9.0/paper.tex
index 8e019de..004a7f4 100644
--- a/9.0/paper.tex
+++ b/9.0/paper.tex
@@ -202,13 +202,13 @@ The major changes of this release are:
   now returns either a \texttt{std::shared\_ptr} or \texttt{std::unique\_ptr},
   which clarifies object ownership responsibilities and avoids memory leaks.
 
-\item \dealii{} has made extensive use of both the clang-tidy and coverity
-      static analysis tools for detecting bugs and other issues in the code.
-      %% TODO is there somewhere we can cite for either of these tools? It would
-      %% be nice to recognize the department of homeland security for offering
-      %% coverity.
-      %% TODO at the time of writing this coverity is down; get an issue count
-      %% when it is back online.
+\item \dealii{} has made extensive use of both the Clang-Tidy \cite{clang-tidy}
+  and Coverity Scan \cite{coverity} static analysis tools for detecting bugs
+  and other issues in the code. In total around, 260 issues were detected and
+  fixed using the latter tool.
+      %% > Is there somewhere we can cite for either of these tools? It would
+      %% > be nice to recognize the department of homeland security for offering
+      %% The contract with homeland security was completed in 2009.
 
 \item
   \texttt{LinearOperator}, a flexible template class that implements the action of a
@@ -554,7 +554,7 @@ Their contributions are much appreciated!
 variety of funding sources:
 \marginpar{update}
 
-D.~Arndt was partially supported by the German Research Foundation (DFG) under the
+D.~Arndt was supported by the German Research Foundation (DFG) under the
 project ``High-order discontinuous Galerkin for the exa-scale'' (ExaDG) within the
 priority program ``Software for Exascale Computing'' (SPPEXA).
 
@@ -599,4 +599,4 @@ hosting services for the \dealii{} web page.
 \bibliography{paper}{}
 \bibliographystyle{abbrv}
 
-\end{document}
\ No newline at end of file
+\end{document}
-- 
2.39.5