Justus Winter, le Tue 04 Feb 2014 10:46:01 +0100, a écrit : > Quoting Thomas Schwinge (2013-10-25 15:48:06) > > When I recently read about it somewhere, I've also had the idea about > > feeding the Hurd code into the Coverity scanner, which I think offers > > such a service for Free Software projects. I also thought about dping > > the same for GNU Mach and glibc, and for each of these, including the > > stub files generated by MIG, for "self-containedness". > > I setup a coverity project for GNU Mach: > > https://scan.coverity.com/projects/1307 > > Unfortunately the results are not world-readable and I do not believe > it is possible to configure it that way.
They do make it restricted on purpose. > So in order to see the > results you need a coverity account (or a github one) and request > access to that project (from me, muhahaha ;). My github account is sthibaul > web-app which is very enterprisey and almost > impossible to use unless one has at least a 19" screen. I'm surprised. I haven't used it yet, but the screenshot I had seen seemed not bad. Samuel
