Gobo Eiffel Lint PreviousNext

Gobo Eiffel Lint, or gelint for short, is a companion tool of gec. It's a lint-like tool for Eiffel. In addition to reporting errors found by compilers, it also goes further and tries to report suspicious language usage such as code that may lead to CAT-calls at run-time by performing system-level static analysis of the code. Contrary to some Eiffel compilers, gelint will report as many errors as possible in one go, both in live and dead Eiffel code.

This documentation of gelint is structured as follows:

Using gelint
Command-line options, Ace files.
Code Analysis Technology
Code analysis techniques used in gelint.
Limitations, bugs and other deficiencies.
See Also
Bibliographical references, related resources and acknowledgments.
Downloading Instructions
License agreement and downloading instructions.

Copyright 2006-2016, Eric Bezault
Last Updated: 28 December 2016