From 84c6e80fb62df1dd2fdc387d490ece505cd27494 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Sun, 10 Jan 2016 21:16:55 +0100
Subject: [PATCH] Auto update

---
 design.html | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/design.html b/design.html
index 508a244d..b2ebeec6 100644
--- a/design.html
+++ b/design.html
@@ -51,14 +51,21 @@ The result is a simple architecture and an easy to understand implementation,
 following the <a href="http://en.wikipedia.org/wiki/Edsger_W._Dijkstra">Dijkstra</a>
 quote <i>Simplicity is prerequisite for reliability</i>.
 </p>
+
 <p>
-Extensive and automated tests with the runtime checker <a href="http://valgrind.org/">valgrind (memcheck/helgrind/drd)</a>,
-the <a href="https://github.com/google/sanitizers">Google sanitizer (asan/msan/tsan/ubsan)</a>
-and the <a href="http://clang-analyzer.llvm.org/">clang static analyzer</a>
+Extensive and automated tests with the runtime checker <a href="http://valgrind.org/">valgrind</a>,
+the <a href="https://github.com/google/sanitizers">Google sanitizer</a>.
 are done to ensure the correctness of the final application.
 The test has a <a href="cov/">code coverage of over 90%</a>, measured with <a href="http://ltp.sourceforge.net/coverage/lcov.php">lcov</a>.
 </p>
 
+<p>
+The source code is also verified with the
+<a href="https://scan.coverity.com/projects/snapraid">coverity scan</a>
+and <a href="http://clang-analyzer.llvm.org/">clang</a>
+static analyzers.
+</p>
+
 <p>
 The second design principle was <span class="bold">robustness</span>.
 It supports any kind of problem. Even on kernel panics, power-downs