Checking FreeBSD kernel with static analyzer

[Svyatoslav Razmyslov]

Hi Russell,

I have sent the file in CSV format (PVS-Studio-log-freebsd.csv). Does it 
work for you?

18.02.2016 11:24, Russell Haley пишет:
> Svyatoslav,
>
> Is there an output format for the issue report that could be massaged in python or lua or the like and submitted or imported through bugzilla? CSV, xml, json?
>
> Thanks
>
> Russ
>
> Sent from my BlackBerry 10 smartphone on the Koodo network.
>    Original Message
> From: Svyatoslav Razmyslov
> Sent: Thursday, February 18, 2016 12:17 AM
> To: Fehmi Noyan ISI
> Cc: Andrey Karpov; freebsd-doc at FreeBSD.org
> Subject: Re: Checking FreeBSD kernel with static analyzer
>
> 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)