Inspector Eiffel
| Developer(s) | Eiffel Software |
|---|---|
| Stable release | 1.x
/ May 31, 2014 |
| Engine | |
| Operating system | Linux, Windows, OS X, Solaris |
| Type | static program analysis |
| License | Open source |
| Website | dev |
Search Inspector Eiffel on Amazon.
Inspector Eiffel is an automated Eiffel software testing and static analysis program released by Eiffel Software, but produced as a result of a Masters Thesis project at ETH Zurich.[1]
Basic Operations[edit]
Inspector Eiffel is a Rule-based static code analysis tool which operates both from an embedded mode in Eiffel Studio and from command line. It utilizes the abstract syntax tree (AST) produced by the Eiffel compiler and then generates a control flow graph (CFG), which is computed by a module of code in the tool. The CFG and AST are then visited by a number of defined Rules. Violations of any Rule is reported to the user as a list of Error, Warning, Suggestion, and Hint items. Each rule violation reports precisely which rule was violated, where in the code the violation occurred, the names of any involved variables or other relevant data, and one or more ways to fix the problem.
Inspector Eiffel is not a fully automated tool as it will not automatically fix identified problems. However, the tool library has been constructed to be extensible, so that automated rule violation fixing may be implemented in future. As of May 2014[update] fixing violations has been left to the discretion of the IDE user.
Coverage Scope[edit]
Rules in Inspector Eiffel have a scope, indicating how much code has to be analyzed at one time in order to detect a rule violation. The Rules are clustered into four main scopes:
- Instruction
- Analysis of individual instructions (simple or complex)
- Feature
- Attributes, Routines, Commands, and Queries are examined as a unit
- Class
- Analysis of multiple feature-to-feature references in a class-wide scope
- System
- Analysis of code structures spanning two or more classes (Client-Supplier)
References[edit]
- ↑ Zurfluh, Stefan; Tschannen, Julian; Meyer, Bertrand (April 1, 2014), Rule-Based Code Analysis (PDF), ETH Zurich, retrieved May 25, 2014
This article "Inspector Eiffel" is from Wikipedia. The list of its authors can be seen in its historical. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
