[cfe-dev] Evolution of advanced refactoring support

[Manuel Klimek]

On Thu, Feb 28, 2013 at 11:26 AM, Markus Elfring <Markus.Elfring at web.de>wrote:

>
>  We don't do control flow (yet).
>>
>
> Would you like to change this design aspect?
>

Yes. But that will require getting the lowest level up first, which is to
hook the static analyzer into the tooling framework. We're planning to
spend some work there later this year...

Cheers,
/Manuel


>
>
>      http://coccinelle.lip6.fr/**papers/popl09.pdf<http://coccinelle.lip6.fr/papers/popl09.pdf>
>>
>>
>>
>> At a glance, this all looks super-theoretical :)
>>
>
> I agree to this view also from my knowledge background. I hope that the
> technology "CTL-VW" (computation tree logic with variables and witnesses)
> will be reused for further software development besides the programming
> language "OCaml".
>
>
>
>
>> The big question for us is: how can we make it simpler to use.
>>
>
> I find that the application of "SmPL" is relatively easy after I became
> used to it. Corresponding extensions might be interesting for the involved
> class libraries.
>
> Regards,
> Markus
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130228/d9eb1746/attachment.html>