Bachelor Thesis


Eiffel Inspector Improvements
Bachelor Thesis, September 2014 — March 2015
Author: Samuel Schmid
Supervisor: Julian Tschannen



The Eiffel Inspector is a static code analyzer that helps to maintain a high code quality. It is capable of detecting many different kinds of issues in the source code. These issues relate to possibly dangerous runtime behavior, performance problems, coding style, and more.

This project will build on a Master’s thesis that implemented a rule based code analysis tool for Eiffel. Adding new rules and improving already existing ones as well as enhancing usability of the tool are the main tasks of this thesis.