Checking FreeBSD kernel with static analyzer

[Svyatoslav Razmyslov]

Unfortunately, we don't have enough resources to do that. Our small team 
has already detected at least 9355 bugs in open source projects, besides 
that we are still busy developing the PVS-Studio tool. Additionally, the 
code of these projects is unfamiliar to us and we will work with it much 
slower that the authors of these projects. Consequently, to delve into 
each case and give a detailed correct description we'll have to have a 
special department for it. That's why at this point we can only help the 
projects by writing articles, providing the check logs and temporary 
keys for a thorough project check.


18.02.2016 1:08, Fehmi Noyan ISI пишет:
> Hi Svyatoslav,
>
> Seems like an interesting report!
>
> Wonder if all those findings will be submitted in the form of bug 
> reports or email to individual developers working on the particular 
> project that the bug is addressed.
>

-- 
Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)