...
| 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 |
| INTER.{CCL,CTLC}Implemented INTER.CTLC | Use the optional java.util.Locale parameter Do not call 'Character.toLowerCase(char)' or 'Character.toUpperCase(char)' in an internationalized environment | ||||||
| SonarQube |
| S1449 | Locale should be used in String operations |
...