[cfe-dev] Newbie question

[Simon Harris]

On 11/10/2012, at 11:35 AM, Anna Zaks <ganna at apple.com> wrote:

> 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: http://llvm.org/devmtg/2008-08/Kremenek_StaticAnalyzer.pdf).

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.

> 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 CLANG_ANALYZER_OTHER_CHECKERS to list the additional checkers.

Great, thank you again!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20121012/bff2f116/attachment.html>