An Ada95 programming style checker using the GNAT ASIS implementation

To enhance the quality of software, e.g. in safety-critical environments, we propose the introduction of a style checking phase into the software development cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify what is being checked.