Re: PVS-Studio analysis of Wireshark

[Helge Kruse <helge.kruse () gmx net>]

Intentinally NOT sent to the list...

I think Opemsource can be used for that purpose even if they get a benefit from it without any donation. Even if I'm 
wrong it would be hard to do anxthing against it.

They don't tell the price of PVS at the website. I asked for an offer to a hobby programmer. They had to admit that 
7,2000$ is too expensive to even talk about it. But they proposed me to use an evaluation version, write and publish a 
(not necessarily positive) review, and get a one year free license for that.

Here the reason for off-list: What about taking this in a yearly manner by different member of the Wireshark 
developers? I don't know if PVS is even worth doing this. It just came in mind, anyway they would get their review.

Regards
Helge

Cite:
Thanks for your interest to PVS-Studio!

Unfortunately PVS-Studio is not designed for single developers or projects developed as a hobby. We work with teams 
involved in commercial software development and offer them licenses with prices starting with $7200. We don’t have any 
special inexpensive offer for you. As our experience has proved, this area is commercially unpromising.

As an alternative, we can offer you the following deal. We can trade a PVS-Studio license for one article about our 
tool written by you.

The terms are the following:

We grant you a PVS-Studio license for 2 weeks. You analyze your project, study PVS-Studio, and write an article about 
it. We coordinate on the text and then you publish it on the Internet. You can post it at your site or blog, or any 
third-party resource, for examplemedium.com. In return, we will grant you a PVS-Studio license for one year. You can 
use it when working on your project.

Of course, we are interested in getting positive feedback. But it doesn’t mean that you must only praise our product. 
Be honest and speak out your true impressions. But I hope you understand that we aren’t interested in granting licenses 
for being criticized. :)

What do you think of this offer?

Evgeniy Ryzhkov
OOO “Program Verification Systems” (Co Ltd)

Am 5. Juni 2015 11:44:07 MESZ, schrieb Graham Bloice <graham.bloice () trihedral com>:
> I've dabbled with PVS a little bit, the output does seem to find a few
> things other static analyzers miss, but the reverse also applies.
>
> Unfortunately they don't seem to offer free licences for Open source
> projects, although they do use open source projects as demos for their
> software, see http://www.viva64.com/en/examples/.
>
>
>
> On 4 June 2015 at 19:09, Alexis La Goutte <alexis.lagoutte () gmail com>
> wrote:
>
> > On Thu, Jun 4, 2015 at 7:21 PM, Gerald Combs <gerald () wireshark org>
> wrote:
> > > Andrey Kalashnikov analyzed Wireshark using the PVS-Studio static
> analyzer
> > > and wrote up an interesting report at
> http://www.viva64.com/en/b/0328/ .
> > > Thanks to Andrey,
> >
> >
> >
> > > It looks like we've fixed a couple of the errors independently but
> the
> > > rest
> > > look easy enough to fix.
> > Yes and need also to try on master branch...
> >
> > >
> ___________________________________________________________________________
> > > Sent via:    Wireshark-dev mailing list
> <wireshark-dev () wireshark org>
> > > Archives:    https://www.wireshark.org/lists/wireshark-dev
> > > Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
> > >              mailto:wireshark-dev-request () wireshark org
> > > ?subject=unsubscribe
> ___________________________________________________________________________
> > Sent via:    Wireshark-dev mailing list <wireshark-dev () wireshark org>
> > Archives:    https://www.wireshark.org/lists/wireshark-dev
> > Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
> >              mailto:wireshark-dev-request () wireshark org
> > ?subject=unsubscribe
>
>
>
> -- 
> Graham Bloice
> Software Developer
> Trihedral UK Limited
>
>
> ------------------------------------------------------------------------
>
> ___________________________________________________________________________
> Sent via:    Wireshark-dev mailing list <wireshark-dev () wireshark org>
> Archives:    https://www.wireshark.org/lists/wireshark-dev
> Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
>         mailto:wireshark-dev-request () wireshark org?subject=unsubscribe

-- 
Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet.

___________________________________________________________________________
Sent via:    Wireshark-dev mailing list <wireshark-dev () wireshark org>
Archives:    https://www.wireshark.org/lists/wireshark-dev
Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
             mailto:wireshark-dev-request () wireshark org?subject=unsubscribe