Gobo Eiffel Lint Tool
This tool is a part of the Gobo package.
Gobo Eiffel Lint (gelint) 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.