<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Aug 24, 2011, at 9:28 PM, Robert Purves wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div><br>On 23/08/2011, at 3:41 PM, Ted Kremenek wrote:<br><blockquote type="cite">On Aug 22, 2011, at 6:35 PM, Jordy Rose wrote:<br></blockquote><blockquote type="cite"><blockquote type="cite">On Aug 22, 2011, at 18:11, Robert Purves wrote:<br></blockquote></blockquote><br><blockquote type="cite">I hope this does not mean downgrading the static analyzer. <br></blockquote><blockquote type="cite">It's extremely useful to find retain/release bugs simply by adding --analyze. <br></blockquote><br><blockquote type="cite"><blockquote type="cite">No, no.<br></blockquote></blockquote><br><blockquote type="cite"><blockquote type="cite">I'm pretty sure RetainReleaseChecker will still be enabled by default, at least on Mac OS X.<br></blockquote></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Indeed. This checker isn't going away in any shape or form. We're just refactoring the implementation.<br></blockquote><br>Thanks for your replies.<br>I am confused between --analyze and scan-build. Both claim to be The Static Analyzer but they differ non-trivially in packaging, ease of use, fit to our workflow, and presentation of marvellously OTT annotated source. Do they, at least in principal, find the same set of issues?<br><br></div></blockquote><div><br></div>They do find the same set of issues. </div><div> scan-build is a script which interposes on the project build process to call the analyzer (for more, see <a href="http://clang-analyzer.llvm.org/scan-build.html">http://clang-analyzer.llvm.org/scan-build.html</a>). For example, it allows one to run the analyzer on projects with existing build systems. </div><div> --analyze is the clang compiler option to call the analyzer.</div><div><br></div><div>The analyzer supports different forms of output like html, text. For example, to choose html:</div><div>$ clang --analyze example.c -v -Xanalyzer -analyzer-output=html -o outdir </div><div><br></div><div>Anna.</div><div><br></div><div><blockquote type="cite"><div>What I meant to ask was whether much-prized functionality was being removed from --analyze.<br><br>Robert P.<br><br><br>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev<br></div></blockquote></div><br></body></html>