Compiler-based programming support capabilities

Abstract

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.