...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Tainting Checker | Trust and security errors (see Chapter 8) | ||||||
| CodeSonar |
| FB.I18N.DM_CONVERT_CASE FB.I18N.DM_DEFAULT_ENCODING PMD.Design.SimpleDateFormatNeedsLocale PMD.Design.UseLocaleWithCaseConversions | Consider using Locale parameterized version of invoked method Reliance on default encoding Simple date format needs Locale Use Locale with case conversions | ||||||
| Parasoft Jtest | 9.5
| INTER.{CCL,CTLC} | Implemented | ||||||
| SonarQube Java Plugin |
| S1449 |
...