Many of the algorithms inside the transformation engine require information typically associated with code optimization in compilers. Some examples are:

1. alias analysis
2. du/ud chains
3. in/out analysis

We use OpenAnalysis (see also the wiki) to fill this need. OpenAnalysis is currently being reworked and extended to provide any kind of domain specific code analysis based on a generic data flow engine.