diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-27 17:46:59 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-27 17:46:59 +0100 |
| commit | 5cc8714e4af82bec2ad7ea2d2479016e5a74de9b (patch) | |
| tree | 82a80c7a3352f0cec5e53b35c931755fa3e15f54 | |
| parent | 69f4f531625bb0fa3c5ab667279106dd77ae9732 (diff) | |
open_issues/code_analysis: Add some more references.
Engineering zero-defect software by Eric S. Raymond, CIL, Frama-C.
| -rw-r--r-- | open_issues/code_analysis.mdwn | 19 |
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?) |