Wireshark-dev: Re: [Wireshark-dev] wireshark and mozila dehydra

Date Prev · Date Next · Thread Prev · Thread Next
Date Index · Thread Index · Other Months · All Mailing Lists
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