diff options
| author | teythoon <teythoon@web> | 2014-03-21 12:38:32 +0100 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2014-03-21 12:38:32 +0100 |
| commit | e4ada4ce0f51aea5d5344682ce4428a21c36924a (patch) | |
| tree | 5401b9c97d639a5a32505e727782aa72616c66ce /open_issues | |
| parent | df37a32bb6a1545e23288740f6652616cdde9b0d (diff) | |
add link to our coverity page, and yes, it's very much non-free
Diffstat (limited to 'open_issues')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
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. <teythoon> 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) + + * <https://scan.coverity.com/projects/1307> If you want access, speak up in #hurd or on the mailing list. * IRC, OFTC, #debian-hurd, 2014-02-03 |