After dicussin it on the conferance I contacted Coverity and made a Pike project on their Open Source site. Those of you that want an account to check out and work on the defects it reports please reply to this with the user name and email address you want to use.
If you don't want it in the list archives then send it to me directly at bortas@gmail.com.
After som database resets the SCAN account should now be in it's final form. Everyone who requested an account should have recived an answer from me with details be now. If I missed someone then send me another mail.
There are currently two streams: Pike-stable and Pike-master. 7.8 and 7.9 respectively. I also got a third stream from Coverity than we can use for whatever is the most interesting experimental branch right now. Note that the configure for the builds are run --with-checker.
For those of you that haven't used Coverity before there is a manual here: http://scan5.coverity.com:8080/docs/en/index.html
I suggest just browsing the issues under "All Untriaged" a bit to get a feel for how it works. When selecting an issue there is a tab "Occurances" to the right that shows in which streams the issues is present. If you press the "Information" tab there is a link to the part of the manual describing that particular issue type.
pike-devel@lists.lysator.liu.se
-
Peter Bortas ＠ Pike developers forum