Model-driven Engineering of Machine Executable Code

Michael Eichberg (1) , Martin Monperrus (1) , Sven Kloppenburg , Mira Mezini (1)

1 Software Technology Group [Darmstadt]

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.

Domaines: Génie logiciel [cs.SE]

Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini. Model-driven Engineering of Machine Executable Code. Proceedings of the 6th European Conference on Modelling Foundations and Applications, 2010, Berlin, Germany. pp.104-115, ⟨10.1007/978-3-642-13595-8_10⟩. ⟨hal-01575664⟩