[cfe-dev] Data flow analysis in Clang
madhur13490 at gmail.com
Fri Nov 14 09:21:27 PST 2014
So assume that I want to find all live variables at the end of the block.
Then how easy it is to do the job?
On Nov 14, 2014 2:25 PM, "Manuel Klimek" <klimek at google.com> wrote:
> You basically have the static analyzer's CFG and Clang's AST. With the AST
> you can do limited data flow analysis (as long as you don't need path or
> control flow sensitivity), with the CFG you can do anything you want (at
> least in C) given enough computing power :P
> 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).
> Looping in Anna & Jordan for more info on what's possible with the CFG /
> static analyzer.
> On Fri Nov 14 2014 at 6:56:10 AM Vanush Vaswani <vanush at gmail.com> wrote:
>> What API's are available for Dataflow Analysis in Clang? I want to create
>> standalone tool (using libTooling) to analyse C source code.
>> View this message in context: http://clang-developers.42468.
>> Sent from the Clang Developers mailing list archive at Nabble.com.
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev