Checking FreeBSD kernel with static analyzer
wblock at wonkity.com
Wed Feb 10 15:08:47 UTC 2016
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
> 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
> 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?
More information about the freebsd-doc