[cfe-dev] Data flow analysis in Clang

[Manuel Klimek]

On Sat Nov 15 2014 at 10:24:15 AM Markus Elfring <Markus.Elfring at web.de>
wrote:

> > AST access is well-integrated in libtooling, CFG access less so (I
> haven't written a tool
> > that uses the CFG, but given that the CFG is used for Clang's
> diagnostics, I'd imagine
> > it's not too hard to use from a libTooling based tool).
>
> Will the application programming interface be improved for the efficient
> and safe analysis
> of control flow graphs?
>

You can already do this, although it's not made particularly easy yet -
generally the static analyzer is just a bunch of frontend action - you can
look at what ClangTidy does and how it interfaces with static analyzer
checks (it basically glues all the stuff together)...


>
> Regards,
> Markus
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20141115/ff5bcab9/attachment.html>