Hi, Warren.
The analysis report (filtered for most interesting messages) is
attached, you can use it without any restrictions. To use the report,
please append the beginning of the paths to files with the path to a
directory containing kernel sources (replace |?| in case of csv).
Our article itself will be ready approximately in a week, we well
appreciate if you could post about it in a news section on www.freebsd.org.
Thanks!
10.02.2016 18:08, Warren Block пишет:
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
Hello!
I'm an employee of "Program Verification Systems" company. We develop
a static code analyzer PVS-Studio for C/C++/C# languages. To
demonstrate the capabilities of our analyzer, we regularly perform
analysis of open source projects.
Recently we’ve checked FreeBSD kernel and now are planning to write
an article with examples of errors which we found. You can find a
list of articles, where we write about check reports of other
open-source projects on our web-page - http://www.viva64.com/en/a/0084/.
Official site of the analyzer - http://www.viva64.com/en/pvs-studio/
We can also provide a full check report by PVS-Studio if needed.
Could you also help to distribute the article by posting this news on
your web-site?
There might be some interest in this, I will investigate. Would the
check report be freely available, without restrictions?
Thanks!
--
Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)
_______________________________________________
freebsd-doc@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "freebsd-doc-unsubscr...@freebsd.org"
