summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--open_issues/code_analysis.mdwn19
1 files changed, 11 insertions, 8 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index a7a7031a..fd8a36de 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -42,10 +42,13 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
"1123688017.3905.22.camel@buko.sinrega.org"]]. This could be checked by a
static analysis tool.
- * [Static Source Code Analysis Tools for C](http://spinroot.com/static/)
-
* [[!wikipedia List_of_tools_for_static_code_analysis]]
+ * [Engineering zero-defect software](http://esr.ibiblio.org/?p=4340), Eric
+ S. Raymond, 2012-05-13
+
+ * [Static Source Code Analysis Tools for C](http://spinroot.com/static/)
+
* [Cppcheck](http://sourceforge.net/apps/mediawiki/cppcheck/)
For example, [Debian's hurd_20110319-2
@@ -59,13 +62,9 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
* <http://www.google.com/search?q=coccinelle+analysis>
- * clang
+ * [clang](http://www.google.com/search?q=clang+analysis)
- * <http://www.google.com/search?q=clang+analysis>
-
- * Linux' sparse
-
- * <https://sparse.wiki.kernel.org/>
+ * [Linux' sparse](https://sparse.wiki.kernel.org/)
* <http://klee.llvm.org/>
@@ -85,6 +84,10 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
* [s-spider](http://code.google.com/p/s-spider/)
+ * [CIL (C Intermediate Language)](http://kerneis.github.com/cil/)
+
+ * [Frama-C](http://frama-c.com/)
+
* [Coverity](http://www.coverity.com/) (nonfree?)