Compiler-Based Programming Support Capabilities

摘要

An effort to determine a set of features offered by program analysis and testing tools that could be feasibly implemented in a compiler is reported. Currently, program analysis and testing tools offer features that require syntactical analysis of a program in a manner similar to compilers. Much of the information that is generated during compilation could be used to aid program development in other ways. It was the goal of this effort to identify a set of software tool features and develop a methodology for combining these into a compiler.