Re: PVS-Studio analysis of Wireshark

[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