Checking FreeBSD kernel with static analyzer

Warren Block wblock at wonkity.com
Thu Feb 18 14:47:07 UTC 2016


On Thu, 18 Feb 2016, Svyatoslav Razmyslov wrote:

> 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?

The mailing list stripped the attachment, although the mail direct to me 
included it.  The review has been of the text file.  We can make the CSV 
available.

Automated creation of bug reports from these results might not be too 
useful.  Many are only suspected problems and turn out to be false 
positives.


More information about the freebsd-doc mailing list