Correctness of IBM VisualAge C++ compiler extensions.

摘要

The IBM VisualAge C++ (Montana) environment provides a flexible way to extend the default actions of its compiler by writing compiler extensions. Such extensions can help collect information about the behavior of programs under compilation, enforce programming style requirements, or even modify the semantics of compiled programs. The extensions can be written through an extensive set of provided APIs. However, while the Montana environment offers support to ensure the correctness of observers (compiler extensions that collect information during compilation), it offers virtually no support to ensure the correctness of modifiers (compiler extensions that modify the semantics of the compilation).; In this thesis we describe our experience using VAC++ API, discuss the problem of checking correctness of compiler extensions, and propose possible solutions to this problem.