Adding Coding Rule Checking Capabilities to the GCC Toolchain.Marpons, G.; Marińo, J.; Álvaro Polo; Hutton, A. J.; Ross, C. C.; and Lockhart, J. W.2008.In Proceedings of the GCC Developers' Summit 2008, 43--54, June 17--19. BibtexAbstract:
Coding rules, which codify software best practices by constraining the set of "admissible'' programs, are often used in industry to increase program reliability and maintainability. We present a tool that seamlessly integrates coding rule checking capabilities into the main development work-flow. In the proposed framework, the necessary source code features are extracted from the GCC compilation process. In this way, both compiler infrastructure and compilation stages can be reused. The coding rules themselves are defined using a high-level declarative language.