[cfe-dev] Data flow analysis in Clang

[Vanush Vaswani]

Can you use this in the context of libTooling?

On Sat, Nov 15, 2014 at 4:58 AM, Ted Kremenek <kremenek at apple.com> wrote:
> There's already an analysis, LiveVariables.cpp, that does this.  It works on
> top of the CFG, and does a reverse dataflow analysis (using a worklist
> algorithm) to compute liveness information for variables.  This liveness
> information is currently consumed by the static analyzer to prune out
> redundant information from the path state.
>
> On Nov 14, 2014, at 9:21 AM, Madhur Amilkanthwar <madhur13490 at gmail.com>
> wrote:
>
> 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.
>>
>> Cheers,
>> /Manuel
>>
>> 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
>>> a
>>> standalone tool (using libTooling) to analyse C source code.
>>>
>>>
>>>
>>>
>>> --
>>> View this message in context:
>>> http://clang-developers.42468.n3.nabble.com/Data-flow-analysis-in-Clang-tp4042447.html
>>> Sent from the Clang Developers mailing list archive at Nabble.com.
>>> _______________________________________________
>>> cfe-dev mailing list
>>> cfe-dev at cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>
>>
>> _______________________________________________
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>