From d9c728c7e5c90acbd5a2d776c697acff48e14c67 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@schwinge.name>
Date: Thu, 9 Dec 2010 13:26:55 +0100
Subject: open_issues/code_analysis: Add some more.

<http://www.pro-linux.de/news/1/16357/comm/468234/hei-da-machen-sie-sich-wieder-wichtig.html>
---
 open_issues/code_analysis.mdwn | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'open_issues')

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index ad104e68..114dfbbf 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -12,6 +12,10 @@ There is static and dynamic code analysis.  This overlaps with [[debugging]].
 
   * [[GCC]]'s warnings.  Yes, really.
 
+  * [Static Source Code Analysis Tools for C](http://spinroot.com/static/)
+
+  * [[!wikipedia List_of_tools_for_static_code_analysis]]
+
   * Coccinelle
 
       * <http://lwn.net/Articles/315686/>
@@ -32,6 +36,20 @@ There is static and dynamic code analysis.  This overlaps with [[debugging]].
 
   * [[Valgrind]]
 
+  * [Smatch](http://smatch.sourceforge.net/)
+
+  * [Parfait](http://labs.oracle.com/projects/parfait/)
+
+      * <http://lwn.net/Articles/344003/>
+
+  * [Saturn](http://saturn.stanford.edu/)
+
+  * [Flawfinder](http://www.dwheeler.com/flawfinder/)
+
+  * [sixgill](http://sixgill.org/)
+
+  * [Coverity](http://www.coverity.com/) -- commercial?
+
   * <http://en.wikipedia.org/wiki/Electric_Fence>
 
       * <http://sourceforge.net/projects/duma/>
-- 
cgit v1.2.3