...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Signature String Checker | Ensure that the string representation of a type is properly used for example in Class.forName (see Chapter 13) | ||||||
| CodeSonar4.2 |
| FB.CORRECTNESS.EQ_COMPARING_CLASS_NAMES | equals method compares class names rather than class objects | ||||||
| Parasoft Jtest | 9.5 | SECURITY.EAB.CMP | Implemented | ||||||
| SonarQube Java Plugin |
| S1872 | Implemented |
...