Inspector Eiffel: code analysis in EiffelStudio
Inspector Eiffel, a tool for rule-based static program analysis, has been added to EiffelStudio. Inspector Eiffel comprises a framework and a tool for light-weight static code analysis. It helps maintain high code quality. As of now it is capable of detecting more than 35 issues in the source code. More rules are already being developed. The issues Inspector Eiffel detects relate to possibly dangerous runtime behavior, performance problems, coding style, and more.
The tool appears as a panel with a list of rule violations, which is populated upon analyzing the (compiled) source code. This output may be sorted and filtered by various criteria such as category, severity, affected class, and more. The panel enables the programmer to navigate to the problematic source code locations. Additionally, Inspector Eiffel enables automatic fixing of certain rule violations.
Inspector Eiffel can be customized by setting miscellaneous preferences. For example, rules (as well as whole rule categories) may be disabled and enabled (also for single classes).
The online documentation  contains additional information for the user and for the developer.
Inspector Eiffel originates from my Master thesis project .
 Inspector Eiffel online documentation. https://dev.eiffel.com/User:Stefan/Code_Analysis  Stefan Zurfluh, Rule-Based Code Analysis, Master thesis, ETH Zürich, Chair of Software Engineering, 2014. http://e-collection.library.ethz.ch/eserv/eth:8509/eth-8509-01.pdf