Static validation of C preprocessor macros

• Main Authors: SAEBJORNSEN, Andreas, JIANG, Lingxiao, Quinlan, Daniel, SU, Zhendong
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2009
• Subjects: preprossing; macro errors; inconsistencies; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/495; https://ink.library.smu.edu.sg/context/sis_research/article/1494/viewcontent/ase09macros.pdf
• Institution: Singapore Management University

The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CPP’s purely lexical semantics, i.e., its treatment of both input and output as token streams. This can easily lead to errors t...