From 5cc8714e4af82bec2ad7ea2d2479016e5a74de9b Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Tue, 27 Nov 2012 17:46:59 +0100 Subject: open_issues/code_analysis: Add some more references. Engineering zero-defect software by Eric S. Raymond, CIL, Frama-C. --- open_issues/code_analysis.mdwn | 19 +++++++++++-------- 1 file 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. * - * clang + * [clang](http://www.google.com/search?q=clang+analysis) - * - - * Linux' sparse - - * + * [Linux' sparse](https://sparse.wiki.kernel.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?) -- cgit v1.2.3