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 <[email protected]> wrote: > > > On Thu, Jun 4, 2015 at 7:21 PM, Gerald Combs <[email protected]> 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 <[email protected]> >> Archives: https://www.wireshark.org/lists/wireshark-dev >> Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev >> mailto:[email protected] >> ?subject=unsubscribe >> > > > ___________________________________________________________________________ > Sent via: Wireshark-dev mailing list <[email protected]> > Archives: https://www.wireshark.org/lists/wireshark-dev > Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev > mailto:[email protected] > ?subject=unsubscribe > -- Graham Bloice Software Developer Trihedral UK Limited
___________________________________________________________________________ Sent via: Wireshark-dev mailing list <[email protected]> Archives: https://www.wireshark.org/lists/wireshark-dev Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev mailto:[email protected]?subject=unsubscribe
