Wireshark-dev: Re: [Wireshark-dev] wireshark and mozila dehydra
Date Index · Thread Index · Other Months · All Mailing Lists
Date Prev · Date Next · Thread Prev · Thread Next
From: didier <dgautheron@xxxxxxxx>
Date: Wed, 17 Jun 2009 15:44:26 +0200
Le dimanche 14 juin 2009 à 16:32 +0800, yami a écrit :
> Hi,
> 
> I tried llvm (clang's scan-build) after reading your post.
> It is very easy to run scan-build,  and it seems good to find unused
> statements. 
> However for finding errors, false positives disappointed me. 
Yes false positives are a show stopper. 

BTW are you still working on your SAT patch?
I did update my changes but as I wrote I'm not sure a whole SAT is
needed for only building a truth table. As a matter of fact I removed
it.

Didier