| Tool | Version | Checker | Description |
|---|
| The Checker Framework | | Include Page |
|---|
| The Checker Framework_V |
|---|
| The Checker Framework_V |
|---|
|
| Signature String Checker | Ensure that the string representation of a type is properly used for example in Class.forName (see Chapter 13) |
| CodeSonarParasoft Jtest | | Include Page |
|---|
| CodeSonarParasoft_VCodeSonar |
|---|
| Parasoft_V |
|---|
|
| CERT. | CORRECTNESS.EQ_COMPARING_CLASS_NAMESOBJ09.CMP | Do not compare Class objects by name |
| PVS-Studio | | V6054 |
equals method compares class names rather than class objects | Parasoft Jtest | | Include Page |
|---|
Parasoft_V | Parasoft_V | SECURITY.EAB.CMP | Implemented |
|
| SonarQube | | S1872 | Classes should not be compared by name |
