Model-Driven Engineering of Machine Executable Code [chapter]

Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini
2010 Lecture Notes in Computer Science  
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
more » ... (b) a lint like tool. Finally, we report on the use of Prolog for writing model transformations.
doi:10.1007/978-3-642-13595-8_10 fatcat:h7cgznudzvdsxllj2i54cmj4tq