Checking FreeBSD kernel with static analyzer

Svyatoslav Razmyslov razmyslov at
Wed Feb 10 09:41:09 UTC 2016


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 -

Official site of the analyzer -

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 

Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)

More information about the freebsd-doc mailing list