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!
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "[email protected]"
