AnATLyzer is an static analyser for ATL model transformations. It extends the regular ATL editor with problem markers related to typing and rule usage problems, quick fixes, quick assists and visualizations. It can also be used as a programmatic API to manipulate ATL model transformations taking advantage of the typing information generated by anATLyzer.

You can find installation instructions at:

• Website: http://sanchezcuadrado.es/projects/anatlyzer/
• Update site: http://sanchezcuadrado.es/projects/anatlyzer/sites/anatlyzer.updatesite/

The following presentations provides a quick overview:

• Slides of the MoDELS'17 tutorial: https://github.com/jesusc/anatlyzer-models17
• Older presentation: https://github.com/jesusc/atl-tutorial/blob/master/pdfs/02-anatlyzer.pdf

The following is the list of publications describing the technical details of anATLyzer:

• Static analysis of model transformations. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. IEEE Transactions on Software Engineering, 2016
• Translating target to source constraints in model-to-model transformations. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot. MODELS'2017.
• Quick fixing ATL transformations with speculative analysis. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Software and Systems Modeling, 2016

The wiki provides technical documentation:

• Building anATLyzer from sources
• Creating custom quick fixes