From df37a32bb6a1545e23288740f6652616cdde9b0d Mon Sep 17 00:00:00 2001 From: teythoon Date: Fri, 21 Mar 2014 12:31:03 +0100 Subject: Add links to our scan-build reports --- open_issues/code_analysis.mdwn | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index d61d5921..f9bddaa1 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -63,6 +63,10 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. * [clang](http://www.google.com/search?q=clang+analysis) + * + + * + * [Linux' sparse](https://sparse.wiki.kernel.org/) * -- cgit v1.2.3 From e4ada4ce0f51aea5d5344682ce4428a21c36924a Mon Sep 17 00:00:00 2001 From: teythoon Date: Fri, 21 Mar 2014 12:38:32 +0100 Subject: add link to our coverity page, and yes, it's very much non-free --- open_issues/code_analysis.mdwn | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index f9bddaa1..df434b76 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -126,7 +126,9 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. that, and most tools are horrible to use, frama-c is really an exception in this regard - * [Coverity](http://www.coverity.com/) (nonfree?) + * [Coverity](http://www.coverity.com/) (nonfree) + + * If you want access, speak up in #hurd or on the mailing list. * IRC, OFTC, #debian-hurd, 2014-02-03 -- cgit v1.2.3