Model-driven Engineering of Machine Executable Code

by Michael Eichberg, Martin Monperrus, Sven Kloppenburg and Mira Mezini

Abstract: Implementing static analyses of machine-level executable code is labor intensive and complex. We show how to leverage model-driven engineering to facilitate the design and implementation of programs doing static analyses. Further, we report on important lessons learned on the benefits and drawbacks while using the following technologies: using the Scala programming language as target of code generation, using XML-Schema to express a metamodel, and using XSLT to implement (a) transformations and (b) a lint like tool. Finally, we report on the use of Prolog for writing model transformations.

View PDF

Open-access (on archives-ouvertes.fr)

Publisher version (via DOI)

Citations: [citations]

Other publications of Martin Monperrus

Cite it:

Michael Eichberg, Martin Monperrus, Sven Kloppenburg and Mira Mezini, "Model-driven Engineering of Machine Executable Code", In Proceedings of the 6th European Conference on Modelling Foundations and Applications, pp. 104-115, 2010.
https://doi.org/10.1007/978-3-642-13595-8_10

Model-driven Engineering of Machine Executable Code
https://hal.archives-ouvertes.fr/hal-01575664/file/Model-driven-Engineering-of-Machine-Executable-Code.pdf

[Model-driven Engineering of Machine Executable Code](https://hal.archives-ouvertes.fr/hal-01575664/file/Model-driven-Engineering-of-Machine-Executable-Code.pdf) ([doi:10.1007/978-3-642-13595-8_10](https://doi.org/10.1007/978-3-642-13595-8_10))

\href{https://hal.archives-ouvertes.fr/hal-01575664/file/Model-driven-Engineering-of-Machine-Executable-Code.pdf}{Model-driven Engineering of Machine Executable Code} % \cite{eichberg:hal-01575664}

Bibtex Entry:

@inproceedings{eichberg:hal-01575664,
 title = {Model-driven Engineering of Machine Executable Code},
 author = {Eichberg, Michael and Monperrus, Martin and Kloppenburg, Sven and Mezini, Mira},
 url = {https://hal.archives-ouvertes.fr/hal-01575664/file/Model-driven-Engineering-of-Machine-Executable-Code.pdf},
 booktitle = {{Proceedings of the 6th European Conference on Modelling Foundations and Applications}},
 pages = {104-115},
 year = {2010},
 doi = {10.1007/978-3-642-13595-8_10},
}