[cfe-dev] Data flow analysis in Clang
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)...
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev