[cfe-dev] Evolution of advanced refactoring support

[Markus Elfring]

> I'm not sure I understand what exactly you ask, but we're combining 
> matchers into a tree that than is matched against the AST (which is 
> more of a graph than a tree ;)

Can higher level analysis and software refactoring be performed by the 
means from variants of the knowledge  area "computation tree logic"?

Would you like to map "ASG" matchers to a semantic patch language?

Regards,
Markus