Code checking

This page is a stub for an EiffelStudio project that has been discussed but not yet started (or, if it has been started, not documented). Help EiffelStudio by expanding it; describe the project's goals, rationale, general development strategy, and project members. Move the corresponding link in the project page to the appropriate entry, e.g. Compiler, Libraries etc.