Towards improving software security using language engineering and mbeddr C

Markus Voelter, Zaur Molotnikov, Bernd Kolb
2015 Proceedings of the Workshop on Domain-Specific Modeling - DSM 2015  
This paper explores the use of domain-specific languages for improving software security, which deals with developing software in a way that is not maliciously exploitable. Specifically we demonstrate how modular extension of the C programming language can help with technical and processrelated aspects of software security. Some of these examples are already implemented, some are analytical extrapolations from related work we have done in the past; a detailed empirical evaluation has not yet
more » ... n done. We rely on mbeddr, an extensible version of C developed with the JetBrains MPS language workbench. We conclude the paper with a discussion of the potential drawbacks of the approach and how these can be addressed in the future.
doi:10.1145/2846696.2846698 dblp:conf/oopsla/VoelterMK15 fatcat:kg2fcf2w7bcpdl2zpt7jzjbhwi