From e08c61cda57fd4cbbc4219600ca043ae888b3bc8 Mon Sep 17 00:00:00 2001 From: Daniel Arndt 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