C Macro Handling in Automated Source Code Transformation Systems

Abstract

In this paper, we present an overview of our approach to C macro handling in the Proteus C/C++ code transformation system. This approach gives us the capability to fully capture the semantics of complex macros without sacrificing high fidelity. As part of the Proteus system, they have been successfully applied to millions of lines of C/C++ code