[Graham Bloice <graham.bloice@xxxxxxxxxxxxx>]

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@xxxxxxxxx> wrote:

On Thu, Jun 4, 2015 at 7:21 PM, Gerald Combs <gerald@xxxxxxxxxxxxx> 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@xxxxxxxxxxxxx>
Archives:    https://www.wireshark.org/lists/wireshark-dev
Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev
             mailto:wireshark-dev-request@xxxxxxxxxxxxx?subject=unsubscribe

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

--

Graham Bloice

Software Developer

Trihedral UK Limited