[cfe-dev] Data flow analysis in Clang

Manuel Klimek klimek at google.com
Sat Nov 15 09:12:29 PST 2014

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

> > 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>

More information about the cfe-dev mailing list