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; [email protected]
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)
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "[email protected]"
