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 ___________________________________________________________________________ Sent via: Wireshark-dev mailing list <[email protected]> Archives: http://www.wireshark.org/lists/wireshark-dev Unsubscribe: https://wireshark.org/mailman/options/wireshark-dev mailto:[email protected]?subject=unsubscribe
