Rule-based code analysis
Stefan Zurfluh · Repository for Publications and Research Data (ETH Zurich) · 2014
Program analysis static or dynamic is an important method to improve and maintain code quality.Static analysis gives immediate feedback during the development of a computer program, and can be a great help for programmers.The language design of the Eiel programming language already encourages high code quality, but the Eiel IDE has no light-weight static analysis tool.We designed a versatile and extensible rule-based framework for light-weight static program analysis for the Eiel language called Inspector Eiffel.We implemented a basic set of rules and developed a user interface that is integrated in EielStudio, the main Eiel IDE.The tool is fully usable by programmers and integrates well in the development process.We present several case studies of applying the tool on existing libraries and programs, which show the usefulness of the tool by detecting coding issues and suggesting improvements.I would like to thank my supervisor Julian Tschannen very much for his continuous outstanding help during my whole thesis project.Many thanks go to Prof. Dr. Bertrand Meyer for his great support.As well I want to thank Ðurica Nikoli¢, Mischael Schill