diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-03-22 01:41:58 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-03-22 01:41:58 +0100 |
| commit | e82850ab28a8f5c0ab90597116f95ae8b3928628 (patch) | |
| tree | 4d7e1a94507496cc131417890fb84d28ab9f94d4 | |
| parent | 4a174d390d2f0398295bcab172f1a8f0ca5f820c (diff) | |
| parent | e4ada4ce0f51aea5d5344682ce4428a21c36924a (diff) | |
| download | web-e82850ab28a8f5c0ab90597116f95ae8b3928628.tar.gz web-e82850ab28a8f5c0ab90597116f95ae8b3928628.tar.bz2 web-e82850ab28a8f5c0ab90597116f95ae8b3928628.zip | |
Merge branch 'master' of braunbox:~hurd-web/hurd-web
| -rw-r--r-- | open_issues/code_analysis.mdwn | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index d61d5921..df434b76 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) + * <http://darnassus.sceen.net/~teythoon/qa/gnumach/scan-build> + + * <http://darnassus.sceen.net/~teythoon/qa/hurd/scan-build> + * [Linux' sparse](https://sparse.wiki.kernel.org/) * <http://klee.llvm.org/> @@ -122,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 |