
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 11/10/2012, at 11:35 AM, Anna Zaks <<a href="mailto:ganna@apple.com">ganna@apple.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="Content-Type" content="text/html charset=us-ascii"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>Path sensitive checkers use symbolic execution to explore all paths through the program as opposed to working with the AST. (Ex: As described in Ted's very old talk: <a href="http://llvm.org/devmtg/2008-08/Kremenek_StaticAnalyzer.pdf">http://llvm.org/devmtg/2008-08/Kremenek_StaticAnalyzer.pdf</a>).</div></div></div></blockquote><div><br></div><div>Ahhh ok that makes much more sense now. Thank you. I presume in my case I can just use an AST visitor and keep state inside the instance of the checker. Fantastic. Much simpler.</div><br><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>As of Xcode 4.5, you can use CLANG_ANALYZER_EXEC build setting to point Xcode to your clang for analyzes. You can also use <span style="background-color: rgb(255, 255, 255); font-family: 'Lucida Grande', Geneva, Verdana, Arial, Helvetica, sans-serif; font-size: 11px; text-align: left; ">CLANG_ANALYZER_OTHER_CHECKERS to list the additional checkers.</span></div></div></div></blockquote></div><br><div>Great, thank you again!</div><div><br></div></body></html>